ICSE2011勉強会 ログ (ハッシュタグ #sereading)
21-2 モデルへの操作で使われるモデル要素集合を,操作を実行することなく推定する.メタモデル上で操作の範囲を静的に判定して,関連するインスタンスを特定する. #sereading
2011-07-05 17:39:5421-3 テストデータ生成で未到達箇所のできた原因を特定する.分岐条件と外部ライブラリ呼び出しやフィールド値との関係を分析する. #sereading
2011-07-05 17:46:0105: Debugging the Surf(東工大・権藤研)
Angelic Debugging, Angelic Programming, Angelic Refactoring, Angelic Testing. #sereading
2011-07-05 17:49:515-1 バグの可能性がある箇所を特定し,修正候補を自動計算.修正候補は構文ではなく値のみ.テストケースと矛盾するコードは自動的に除外する.これは便利そう. #sereading
2011-07-05 17:51:22騙されてはいけない.本来,天使はバグが無いように導いてくれるべきよね.RT @kaz_at_33: 05-1 Angelic Debugging. 天使のようなデバッグごこち。 #sereading
2011-07-05 17:55:135-2 各種Javaアプリで用いられているオプション値をソースから自動発見して,ドキュメントと比較.こんなに使われていないオプションがあるのか. #sereading
2011-07-05 17:56:47なんと. RT @tkobabo: qwikにUST配信パスワードが出てたので,全然非公開になってなかった件について #sereading
2011-07-05 18:00:46アップル製品をかじって堕落した僕にはバグ出さないなんて無理です (> <) RT @tkobabo: 騙されてはいけない.本来,天使はバグが無いように導いてくれるべきよね.#sereading
2011-07-05 18:03:12参加者の皆様,特に拠点対応の皆様,お疲れ様でした.非常に実りある1日になりました.やはりこれは今後も継続開催したいと思いますので,是非今後もご支援を! #sereading
2011-07-05 18:29:33