講演抄録/キーワード |
講演名 |
2014-07-11 13:10
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation ○Cassia de Souza Carvalho・Tatsuhiro Tsuchiya(Osaka Univ.) SS2014-23 KBSE2014-26 |
抄録 |
(和) |
状態遷移テストはソフトウェアテストにおける重要な手法である.我々はこれまでに全遷移対を網羅するカバレッジ基準に焦点を当て,モデル検査ツールNuSMVを用いて状態遷移テスト用のテストケースを生成する方法について研究を進めている.また,テストケースの総数を削減するため,集合被覆問題のアルゴリズムの応用を検討している.本稿では,これまでの成果と今後の見通しについて述べる. |
(英) |
State Transition Testing is an important category of software testing.
Our work in progress focuses on a coverage criterion which adopts all
transition pairs and uses model checking tool NuSMV to generate test
cases. In order to reduce the number of test cases, we automatically
analyse the output of NuSMV by applying a set covering problem algorithm.
We show the results obtained so far and discuss future perspectives for
this work. |
キーワード |
(和) |
全遷移ペア / カバレッジ基準 / モデル検査 / NuSMV / 集合被覆問題 / ステートチャート / / |
(英) |
all transition pairs / coverage criteria / model checking / NuSMV / set covering problem / statecharts / / |
文献情報 |
信学技報, vol. 114, no. 127, SS2014-23, pp. 149-154, 2014年7月. |
資料番号 |
SS2014-23 |
発行日 |
2014-07-03 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2014-23 KBSE2014-26 |