佐原さん「VDM組合せテスト」の発表。組合せの集合を式で与えて組合せを自動生成するツール。自動実行し、形式手法の事前、事後条件のチェックまでは自動化。組み合わせた結果(出力)の正当性は人が確認する。 #SS2011jp

posted at 09:25:30

田中美穂さんの発表。自然言語で書かれた仕様書の問題点が形式手法で書かれた仕様書ではどうなったか。モバイルFeliCa ICチップが題材。わくわく。 #SS2011jp

posted at 09:34:44

自然言語で書かれた仕様書で30版を超えたものでも、仕様への指摘が123件あった。記述不足、漏れ、誤りの指摘が多かった。 #SS2011jp

posted at 09:39:39

VDM++では用語不明確に対して厳密に書ける。例えば自然言語で「シーケンス番号はコマンドの送受時に必ずインクリメントされる」と書いてあった場合、幾つ加算するのか曖昧であるが形式手法では「＋1」なのか「＋2」なのか明確に記述される。 #ss2011jp

posted at 09:47:43

形式手法を使えば、修飾などについても曖昧な表現自体ができない。また記述漏れについてもそれに気付くことを助けるツールが使える。 #ss2011jp

posted at 09:52:19

質問「先ほどの仕様では、インクリメントするタイミングが送受信の前なのか後なのかの方が曖昧で気を付ける必要があるのでは？」「はい。そうですね。その辺も曖昧さがなくなります」 #ss2011jp

posted at 09:55:40

「コスト面や品質面の効果は？予測でも」「まだ測定できていません。比較するのは難しいです」 #ss2011jp

posted at 10:00:54

「自然言語の仕様書と形式手法の両方が必要なのですか？2重投資になるので形式手法だけでというわけにはいかないのか」「両方が必要と考えています(荒木先生)」 #ss2011jp

posted at 10:04:38

法政大学のMiaoさんによるインテグレーションテストで形式手法ベースのテストを補う方法の発表。 #ss2011jp

posted at 10:09:10

SOFLという「形式言語、CDFDという条件付きデータフロー、3ステップアプローチ」を使うことでインテグレーションテストへ形式手法のテクニックを応用する事ができる。 #ss2011jp

posted at 10:16:33

「データフローがループしていた時にうまくいきますか？」「ループの時はCDFDから1回ループした時までのパスを取り出してこの技法を適用する(劉先生)」 #ss2011jp

posted at 10:34:18

「テストコードもリファクタリングする」(太田さん) #ss2011jp

posted at 10:54:31

「今は検証指向TDDと呼んでいます」(太田さん) #ss2011jp

posted at 10:56:33

「マイヤーズの三角形問題を使いTDDと熟練者が書いたテストとを比較した。TDDの経験年数よりも、テスト設計スキルの違いが工数とテストの十分性に影響が大きかった。熟練者が作ったテストを100とすると、普通のTDDでは40%、検証指向TDDでは77%にあがった」 #ss2011jp

posted at 11:05:10

「テストケース数の比較ではなく、単体テストのテストケースの質がTDDで捕捉できたかが重要なんですよね？」「説明していませんでしたがテストケースの分類をしてから比較しました」 #ss2011jp

posted at 11:15:14

小笠原さんのテスト管理システムの開発事例。まずはテスト管理システムへの要求にはどんなものがある？ #ss2011jp

posted at 11:18:16

設定を簡単にできること、既存の帳票がインポートできること、テストの可視化ができること。TETRA(テストをとっても楽にする)システムは三年で25の組織で使われるようになった(これは凄いこと)。 #ss2011jp

posted at 11:24:00

テスト工程での心配事は、テストの進捗は順調か？不具合発生状況は？自分の担当分はどうなっているか？ #ss2011jp

posted at 11:28:19

「テストケースのバージョン管理や、テスト資源からの機種別ピックアップを管理しようとするとぐしゃぐしゃになって上手くできなかったのですが何か良いアイデアはありませんか？」「まだ3世代くらいなのでこれからですね」 #ss2011jp

posted at 11:46:55

期待結果との照合がないとなぁ。 #ss2011jp

posted at 12:04:36

テストWG、Wモデルの話題が始まりました。 #ss2011jp

posted at 16:00:46

第三者視点をもっと開発プロセスに入れていきたい。 #ss2011jp

posted at 16:02:27

開発者が開発のために必要な設計書と、Wモデルでテストの視点が入った設計書ってどう違うの？ #ss2011jp

posted at 16:03:10

開発が作る設計書は、詳細化をどんどんしていくので、細かい範囲の設計書が複数という形になる。テストが必要とする設計書はそこまで細かくなくてよいから全体がわかるもの。 #ss2011jp

posted at 16:07:15

「テスト設計を前倒しする」というのは、Wモデルの目的ではなく手段。Wモデルの目的は「開発者がバグがでないように作る込めること」ではないか。 #ss2011jp

posted at 16:12:05

開発の「何」と、テストの「何」が一緒になって活動すると良い開発になるのかを考えた方がよいのではないだろうか。テストの視点を入れるといいっていう人がいるけど、具体的にそれって何？ #ss2011jp

posted at 16:16:20

@mkoszk 安達さんから、「物を作る技術がすごいAさん」と「社内のことがよくわかっているBさん」がいた。Aさんが作ってからBさんがテストすると手戻りが多くてどうしようもなかった。最初からAさんとBさんが協業しながらやるようにしたらとてもよくなったとの話が。 #ss2011jp

posted at 16:35:06

@mkoszk はい。話は、組織論的Wモデルと、技術論的Wモデルがあるんじゃないかという話に。 #ss2011jp

posted at 16:38:52

@mkoszk 「開発－テスト」ではなく「開発⇔テスト」と相互に影響を与え合うものではという話の流れかも。 #ss2011jp

posted at 16:47:20

品質会計とか入れて工程別の問題がコストで見えるようにしないとだめなんじゃないかなー。 #ss2011jp

posted at 17:12:05

品質コストの代わりに「テスト容易性」で測るのがWモデルということか。 #ss2011jp

posted at 17:14:05

そうか、「品質コスト」は結果の管理で、「テスト容易性」は予測の管理か。 #ss2011jp

posted at 17:15:26

RT @sea_jp: SS2011は6月8日(水曜日)から長崎で開催されます。今回も一部のプログラムはUstreamで生中継(録画なし)される予定です。 #ss2011jp #sea_jp

posted at 03:20:47

RT @sea_jp: SS2011＠長崎の参加見込み、締め切りまで後1週間です。/ http://t.co/VbR2qnt #ss2011jp

posted at 06:25:42

参加する人は急いでくださいね！私も参加します。 RT @sea_jp: ソフトウェア・シンポジウム 2011＠長崎の早期割引は4月29日（金）まで。お申し込みはこちら http://sea.jp/ss2011/ からお早めに！ #ss2011jp

posted at 07:38:17