この本がスゴい2009
今年もお世話になりました、すべて「あなた」のおかげ。 スゴい本は多々あれど、独力で発掘できるはずもないので、スゴ本を読んだ「あなた」を探す。好きな本ばかりで食傷気味で、お山の蛙か、井の中の大将になったつもりのわたしにとって、「あなた」は良い刺激であり指針でありアドバイザーなんだ。 そう、好きな本だけ読むのもいいし、本屋さんだけで事足れりとしてもいい、それでも読みきれないほど。そして、自分の周りに壁を築いて、ヒキコモるのもアリ（わたし自身がそうだった）。時折みかける独善に陥っている人を反面教師として、自らを戒める。ブンガク小説ばっかり読んで、世界を分かった気になっている人、科学リテラシーこそ全てで他はクズだとのまたう人、それぞれの得意分野では天狗だろうが、外から眺めていると、こっけいで仕方ない。 そんな「わたし」にならないために、広く、深く、遠くまで「あなた」を探す。「あなた」のおかげで、こ
ソフトウェアテスト自動化まとめサイト なんでも自動化サイト - テスト自動化とは - @ｳｨｷﾓﾊﾞｲﾙ
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソフトウェアテスト自動化まとめサイト なんでも自動化サイト