マルコフ連鎖テストモデルによるテストケース生成
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/21 06:03 UTC 版)
「モデルベーステスト」の記事における「マルコフ連鎖テストモデルによるテストケース生成」の解説
マルコフ連鎖はモデルベーステストの効率的方法となる。マルコフ連鎖を実装したテストモデルは使い方のモデルとみることができる。使い方のあらゆるシナリオを表現した有限オートマトンと、そのシステムがどのように使われるかを統計的に表した運用プロファイルとで構成される。有限オートマトンは何ができるかを表現しており、テスト対象となる。運用プロファイルは運用テストケースの生成を助ける。この技法は、システムを網羅的にテストするのが困難で、そもそも問題（バグ）がほとんどないようなシステムのテストケースを生成するために生まれた。そのため、テスト対象システムの信頼性向上を目的として統計的なテストケースを生成するのに適している。近年、組み込みシステムにも適用できるよう拡張されている。
※この「マルコフ連鎖テストモデルによるテストケース生成」の解説は、「モデルベーステスト」の解説の一部です。
「マルコフ連鎖テストモデルによるテストケース生成」を含む「モデルベーステスト」の記事については、「モデルベーステスト」の概要を参照ください。
ウィキペディア小見出し辞書の「マルコフ連鎖テストモデルによるテストケース生成」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- マルコフ連鎖テストモデルによるテストケース生成のページへのリンク
