文献

J-GLOBAL ID：201502221012708943   整理番号：15A1103284

シンボリック実行を活用した網羅的テストケース生成

Exhaustive Test-case Generation using Symbolic Execution

著者 (1件)： 上原忠弘 (富士通研 システム技研)
資料名： Fujitsu  (Fujitsu)
巻： 66  号： 5  ページ： 34-40  発行年： 2015年09月01日 
JST資料番号： F0397A  ISSN： 0016-2515  CODEN： FUJTA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 現在の企業システムのソフトウェア開発において,ソフトウェアテストは3割から5割に及ぶ工数がかかっており,大きな課題である。また,テスト駆動開発や継続的インテグレーションなどの,テストの自動化を前提とした開発パラダイムが主流になりつつあるなど,その重要性はより一層増している。富士通研究所は,ソフトウェアテストの中でも,品質の確保や作業工数の削減において最も大きなウェートを占めるテストケース生成をメインターゲットに研究開発を進めてきた。その研究成果は,富士通の業務アプリケーション開発環境であるFUJITSU Software Interdevelop Designerのテスト機能として実用化されている。本稿では,筆者らが早くからその可能性に着目し,現在学術界でも研究トレンドとなっているシンボリック実行を活用した網羅的テストケース生成を紹介する。そして,プログラムの単体テストと改版時のリグレッションテストの効率化をターゲットに,実用化に向けた三つの課題と,それらを解決するために採用したアプローチについて述べる。更に,実用的なソフトウェア資産に対する適用評価の事例も併せて紹介する。(著者抄録)

シソーラス用語： *プログラム検証 ,  ソフトウェア開発 ,  *プログラム実行 ,  デバッギング ,  充足可能性問題 ,  Java ,  HTML ,  C++言語 ,  C言語 ,  COBOL ,  Javaスクリプト
準シソーラス用語： *テストケース生成 ,  *シンボリック実行 ,  ソフトウェアテスト

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (12件)：

• ソフトウェアテスト技術振興協会ASTERテストツールWG:テストツールまるわかりガイド(入門編). http://aster.or.jp/business/testtool_wg/pdf/Testtool_beginningGuide_Version1.0.0.pdf
• 秋山浩一:特集ソフトウェアテストの最新動向3.組合せテストの設計.情報処理,Vol.49,No.2,p.140-146(2008).
• 玉井哲雄ほか:記号実行システム.情報処理,Vol.23,No.1,p.18-28(1982).
• 梅村晃広:SATソルバ・SMTソルバの技術と応用.コンピュータソフトウェア,Vol.27,No.3,p.24-35(2010). https://www.jstage.jst.go.jp/article/jssst/27/3/27_3_3_24/_pdf
• A. Orso et al. : Software Testing : A Research Travelogue (2000-2014). 36th International Conference on Software Engineering (2014).

タイトルに関連する用語 (3件)： シンボリック実行 ,  活用 ,  テストケース生成