講演抄録/キーワード |
講演名 |
2015-05-25 11:00
画面遷移モデルに基づくシナリオ作成支援手法の検討 ○小形真平・中村哲真・岡野浩三(信州大) KBSE2015-2 |
抄録 |
(和) |
要求仕様の妥当性確認を十分に行い,Model-Based Testing(MBT)手法に見られるように要求仕様から有効なテストケースを得るために,具体値を伴う正確なシナリオを効率的に作成することは重要である.本論文では,既存研究の画面遷移モデルを要求仕様と捉えて,当該モデルに沿って具体値を伴うシナリオを効率的かつ正確に記述支援するための手法およびツールを検討し,試作したツールをシナリオ記述実験に適用して評価する. |
(英) |
Scenarios including concrete values are utilized for sufficiently validating a requirements specification and for efficiently extracting practical test cases from the specification by using Model-Based Testing methods. A way of obtaining such scenarios therefore is important. In this paper, a supporting method for correctly and efficiently creating such scenarios based on an existing screen transition model as the requirements specification is proposed. Then, a prototype tool for supporting the proposed method is evaluated through an experiment of scenario writing. |
キーワード |
(和) |
画面遷移モデル / シナリオ / 要求分析 / UML / / / / |
(英) |
Screen Transition Model / Scenario / Requirements Analysis / UML / / / / |
文献情報 |
信学技報, vol. 115, no. 54, KBSE2015-2, pp. 7-12, 2015年5月. |
資料番号 |
KBSE2015-2 |
発行日 |
2015-05-18 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2015-2 |