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