テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
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) テストツールではないが
"Excelenium"（エクセレニウム）で，快適な自動回帰テストを （Seleniumのテストスクリプトとテスト仕様書を自動生成） - 主に言語とシステム開発に関して
テスト仕様を書くだけで，仕様書自身がテストを自動でやってくれる。 それがExcelenium（エクセレニウム）。 Excelenium ＝ Excel ＋ Selenium 左側で，操作のステップを日本語で書くと， 右側で，テスト仕様書風のフォーマットの文章をリアルタイムで自動生成してくれる。 ※画像中で「確認」と書いてあるのは，チェックポイントの部分。これは自動的にオレンジ色のセルになる。 書く必要があるのは，青い線より左側だけ。 そして， 「この仕様書の全テストを実行」 というボタンを押すと・・・ Seleniumのテストケースが自動生成され， ブラウザが立ち上がり， テスト仕様書に書いてあった全テストが実行される。 （※ついでに，シート上の全テストケースに自動で番号が振られる。） Webアプリケーションの結合テスト / 回帰テストが大幅に楽になる。 従来のような「テスト仕様書」と称し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
