ICSE2011勉強会 ログ (ハッシュタグ #sereading)
自然言語の要求仕様からユースケースモデルを生成して検証.どんな間違いを検出できるんだろう. #sereading
2011-07-05 11:31:3502a: Surfing the Dependability Wave(NTTデータ)
ディペンダブルな特性を抽出して依存性をモデル化することで,システムが特性を満たしているかを検証する.結果はあまりよくない? #sereading
2011-07-05 11:38:07#sereading の Ust 見てみたいけど,周りの目が気になるからなあ.アーカイブとかされたら嬉しいな(チラッ
2011-07-05 11:39:5104(大阪拠点): Comprehending the Drift I(筑波大・北川研)
すみません,大阪拠点に切り替えたときにUst,音が入っていませんでしたね…… 音声の入力を切り替えました #sereading
2011-07-05 11:42:36プログラムトレースから取り出したメッセージの半順序関係から,並列分散プログラムの振る舞いを抽出.生成するのはシーケンス図? #sereading
2011-07-05 11:44:36コード片をアルゴリズムを説明する自然言語にするって,すごいけど用途はあるのかな. 精度が高ければプログラム理解としてあり? ASE2010にあった版管理での差分情報を自然言語化するのは用途はわかるんだけど.#sereading
2011-07-05 11:47:21業務アプリのcobolのソースで、ループがいったい何をしているかを調べたくなった。多分SQL一行で書ける5,6種類で99%ぐらいをカバーできるのでは。 #sereading
2011-07-05 11:52:51自然言語で書かれたものの一貫性だとか無矛盾性のチェックをするには当然モデル化が必要なのだけど、どこまでやるかってバランスはやっぱ難しいよなー。でもって、見つかった欠陥ってほんとにプロジェクトにとってうれしいものなの?という評価がないとなんとも(´ω`) #sereading
2011-07-05 11:54:00資料は全部目を通したけど現場を見てないので、後からTL見ると、どのtweetがどの発表のものなのか全くわからんでカオスw。 #sereading
2011-07-05 13:27:4712: Surfer Model Checking(阪大・楠本研)
12-2 マルチスレッドプログラムのSMT検証.Pthreadへの真面目な対応が売り? #sereading
2011-07-05 13:30:5612-3 パラメータの妥当性を実行時にモデル検査.事前に計算できるところは計算しておく. #sereading
2011-07-05 13:34:2311: Outrigger Models and Clones(NAIST・飯田研)
11-1 再利用,検証のためのモデルの単純化.スライス+定数伝播+状態集合集約.等価性はどうなんだろう. #sereading
2011-07-05 13:40:10コードを実行して、終了時点で変数等の終了状態の比較によってコードクローンを検出する変わった研究。これ設計情報の検査でもなんか考え方応用できるかもしれない。 #sereading
2011-07-05 13:42:11おめでとう、@kjstyleppくん。僕も他人のことのように嬉しいよ QT @kjstylepp コードを実行して、終了時点で変数等の終了状態の比較によってコードクローンを検出する変わった研究。これ設計情報の検査でもなんか考え方応用できるかもしれない。 #sereading
2011-07-05 13:43:02