テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト

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) テストツールではないが

[utamaru_k2r]

ｱﾄﾃﾞﾖﾑ

[halohalolin]

自動動作検証・テストツール纏め、IEの自動操作などGUIに関するテスト方法もいろいろ記載有

[arakik10]

ウェブサイト テスト 自動化 で検索して見つけた

[daira4000]

テスト自動化まとめ

[nobeans]

一回しか行わないテストって何があるんだろう。回帰テストにはなりえないと断定できるもの？性能テスト？

[mima3]

自動化まとめ

[lam_bda]

GJ