テストケース生成のためのシステム仕様書の論理記述変換アルゴリズム

青山裕介; 黒岩丈瑠; 久代紀之

文献

J-GLOBAL ID：202002255553439621 整理番号：20A0802433

テストケース生成のためのシステム仕様書の論理記述変換アルゴリズム

Algorithm to Convert System Specification Written in Natural Language to Logical Description for Test Case Generation

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=20A0802433&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0802433&from=J-GLOBAL&jstjournalNo=U0452A") }}

著者 (3件)： , ,
資料名：
巻： 61 号： 3 ページ： 521-534 (WEB ONLY) 発行年： 2020年03月15日
JST資料番号： U0452A ISSN： 1882-7764 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

システム開発の最終段階に実施されるシステムテストケースの設計では,自然言語で書かれた仕様書からテストに必要な入力項目や確認項目を抽出し,抽出した入力項目・確認項目のパラメータを具体化してテストケースが作成される.一方,自然言語で書かれる仕様書は論理関係に曖昧さを含むため,左記の仕様書をもとに作成されるテストケースは,テスト設計者の論理関係の解釈誤りによって不適当になることがあるという課題がある.本研究では,日本語の仕様書から命題論理の記号を用いることで論理関係の曖昧さを排した,セミ形式記述と呼ぶ表現へ変換するアルゴリズムを開発した.セミ形式記述の仕様を対象に入力・確認項目間の論理関係をレビューすることで正しい論理関係へ修正する.論理関係を修正したセミ形式記述は,本研究で開発したテストケース生成アルゴリズムにより,自動的にデシジョンテーブル形式のテストケースへと変換される.本研究で開発したアルゴリズムを電気ポットの仕様文に適用した.提案アルゴリズムにより日本語の仕様文の曖昧さを排除したセミ形式記述へと変換されること,セミ形式記述から自動的にデシジョンテーブルが生成されることを確認した.(著者抄録)

, , , , , , ,

計算機システム開発

引用文献 (11件)：

Rolland, C. and Achour, C.B.: Guiding the construction of textual use case specifications, Data & Knowledge Engineering, Vol.25, No.1-2, pp.125-160 (1998).
Tolmachev, A., Kawahara, D. and Kurohashi, S.: Juman++: A Morphological Analysis Toolkit for Scriptio Continua, Proc. 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pp.54-59 (2018).
Kawahara, D. and Kurohashi, S.: A fully-lexicalized probabilistic model for Japanese syntactic and case structure analysis, Proc. Main Conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, pp.176-183, Association for Computational Linguistics (2006).
河原大輔:KNP で付与される feature 一覧 (2013), available from (http://nlp.ist.i.kyoto-u.ac.jp/index.php?KNP) (参照 201-05-31).
Beizer, B.: Software testing techniques, second edition, pp.269-276, Dreamtech Press (2003). 小野間彰,山浦恒央(訳):ソフトウェアテスト技法,日経BP出版センター (1994).

, , , ,

前のページに戻る