研究グループの内輪の研究会がありまして，ET プログラムの自動デバッギングの話が面白かったです． (人間が頭で考えて，直接ルール (プログラム) を手書きした場合用．また，原理的に，形式的仕様記述から自動生成されたプログラムは，仕様に対しては 100 % バグが無いわけですが，それとは別のレイヤーとして，生成されたプログラムが「人間の直感的意図 (ここはインフォーマル)」と異なる挙動を示した時には，仕様のデバッグが必要になってくるので，さらに高度な研究が必要になってくる) その研究自体の詳細は (私の研究ではないので) 書けないのですが．既存研究との比較として挙げられていた，サーベイペーパーが，これまた興味深かったです． Josep Silva, "A Comparative Study of Algorithmic Debugging Strategies", 2007 論理プログラムや
こんにちは！やまもと＠テスト番長です。 以前バグのステータスというのを書いたのですが、その最後の方で続きがあるようなことを申したら、気になるから教えろという奇特な方がいらっしゃいましたので今回は続きを書いてみましょう。 BTSはバグを管理するだけの道具ではありません。バグを追いながら適切に記録をつけて統計を取ることで、プロジェクトやチームの状態を知ることが出来ます。例えば、以下のような事象です。（なお、WEBアプリが前提） ・バグの報告数が増えず、結果がVERIFIEDになることが多い。 →まだデバッグが始まったばかりのプロダクトか、慎重過ぎるテスターがアサインされています。 ・バグの報告数が少なくなり、VERIFIED以外の結果が目立つ。 →デバッグは最終段階を迎えています。もしもまだ納期前ならば、それなりに上手く行ったプロジェクトでしょう。 ・NEWが発生してからRESOLVEDに
デザインパターンを勉強していて、ふとデバッグにもパターンがあるよな。 と思って作ってみました。 これって、どこかに協力を仰ぎたいけど、誰に頼むんだ？ （結果的に協力してもらいました。thanks XPMLの皆さん、lemonさん） 何かおもいついた方はこちらへメールか、掲示板へ プログラマ用セキュリティホールパターンってのが欲しいな 例えばSQL injectionとかいうセキュリティホール。 こんなの知らないと絶対やってしまう。 OSとかの設定ではなく、プログラマの設計において注意するセキュリティホールのパターンが欲しい。 集計などはやってもいいので、どこかで有志を募って集めてくれませんかね？ ○デバッグパターンについて ・デバッグパターンとはプログラマから観測できる現象とそれに対する原因と対策をパターンとして登録したものです。中にはアンチパターンという、やってはいけないパターンも存在し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く