JP2012059202A - テストケース生成装置、テストケース生成方法およびテストケース生成プログラム - Google Patents
テストケース生成装置、テストケース生成方法およびテストケース生成プログラム Download PDFInfo
- Publication number
- JP2012059202A JP2012059202A JP2010204439A JP2010204439A JP2012059202A JP 2012059202 A JP2012059202 A JP 2012059202A JP 2010204439 A JP2010204439 A JP 2010204439A JP 2010204439 A JP2010204439 A JP 2010204439A JP 2012059202 A JP2012059202 A JP 2012059202A
- Authority
- JP
- Japan
- Prior art keywords
- path
- test case
- predicate
- source code
- unit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Abstract
【解決手段】 テストケース生成装置は、入力されたソースコードから、そのソースコードが表すコンピュータプログラムが実行されたときの流れを示すパスをテストケースとして抽出すると共に、該抽出したパスに含まれる判断条件を抽出する抽出手段と、前記抽出された判断条件に基づいて、前記パスが実行可能であるか否かを判定し、実行可能でないと判定された場合は、該パスを前記テストケースから除外する判定手段とを備える。
【選択図】 図1
Description
次に、本発明の実施形態について図面を参照して詳細に説明する。
パス1として、1(A真)24(B真)57
パス2として、1(A偽)34(B真)57
パス3として、1(A真)24(B偽)67
パス4として、1(A偽)34(B偽)67
というパスを抽出する。ここで、上記パスの表記において、「1」〜「7」の表記は処理名を表し、「A」、「B」の表記は述語名を表す。また、述語の後ろの「真偽」の表記は、述語が真または偽であることを表す。上記表記の順番に処理が実行される。パス解析部12は、上記抽出したパスをパス解析結果記憶部15に保存する。
第2の実施形態では、上記第1の実施形態において説明したテストケース生成装置10によりテストケースを生成する別の例について説明する。
第3の実施形態では、上記第1の実施形態において説明したテストケース生成装置10によりテストケースを生成する別の例について説明する。
図7は、本発明の第4の実施形態に係るテストケース生成装置60の構成を示すブロック図である。図7に示すように、テストケース生成装置60は、抽出部61および判定部62を備える。
11 入力部
12 パス解析部
13 述語正規化部
14 実行可能性判定部
15 パス解析結果記憶部
16 出力部
20 ソースコード記憶部
30 テストケース記憶部
40 CPU
41 記憶媒体
42 プログラム
60 テストケース生成装置
61 抽出部
62 判定部
Claims (6)
- 入力されたソースコードから、そのソースコードが表すコンピュータプログラムが実行されたときの流れを示すパスをテストケースとして抽出すると共に、該抽出したパスに含まれる判断条件を抽出する抽出手段と、
前記抽出された判断条件に基づいて、前記パスが実行可能であるか否かを判定し、実行可能でないと判定された場合、該パスを前記テストケースから除外する判定手段と
を備えたテストケース生成装置。 - 前記判定手段は、前記流れにおいて、互いに排反である複数の判断条件を含むパスを、実行可能でないと判断する請求項1記載のテストケース生成装置。
- 入力されたソースコードから、そのソースコードが表すコンピュータプログラムが実行されたときの流れを示すパスをテストケースとして抽出すると共に、該抽出したパスに含まれる判断条件を抽出し、
前記抽出された判断条件に基づいて、前記パスが実行可能であるか否かを判定し、実行可能でないと判定された場合、該パスを前記テストケースから除外する
ことを備えたテストケース生成方法。 - 前記パスが実行可能であるか否かの判定にあたり、前記流れにおいて、互いに排反である複数の判断条件を含むパスを、実行可能でないと判断することをさらに備えた請求項3記載のテストケース生成方法。
- 入力されたソースコードから、そのソースコードが表すコンピュータプログラムが実行されたときの流れを示すパスをテストケースとして抽出すると共に、該抽出したパスに含まれる判断条件を抽出する抽出処理と、
前記抽出された判断条件に基づいて、前記パスが実行可能であるか否かを判定し、実行可能でないと判定された場合、該パスを前記テストケースから除外する判定処理と
をコンピュータに実行させるテストケース生成プログラム。 - 前記判定処理において、前記流れにおいて、互いに排反である複数の判断条件を含むパスを、実行可能でないと判断する処理を、コンピュータに実行させる請求項5記載のテストケース生成プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010204439A JP5755861B2 (ja) | 2010-09-13 | 2010-09-13 | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010204439A JP5755861B2 (ja) | 2010-09-13 | 2010-09-13 | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012059202A true JP2012059202A (ja) | 2012-03-22 |
JP5755861B2 JP5755861B2 (ja) | 2015-07-29 |
Family
ID=46056184
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010204439A Active JP5755861B2 (ja) | 2010-09-13 | 2010-09-13 | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5755861B2 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013178729A (ja) * | 2012-01-31 | 2013-09-09 | Fujitsu Ltd | 経路条件選択装置、該プログラム、及び該方法 |
JP2014021686A (ja) * | 2012-07-18 | 2014-02-03 | Fujitsu Ltd | テストデータ生成装置、該プログラム、及び該方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04260941A (ja) * | 1991-01-25 | 1992-09-16 | Mitsubishi Electric Corp | テストデータの自動生成装置 |
JPH04271440A (ja) * | 1991-02-27 | 1992-09-28 | Hitachi Ltd | 試験項目自動生成方式 |
JP2000347900A (ja) * | 1999-06-02 | 2000-12-15 | Fujitsu Ltd | 入力パラメータ生成装置、その方法及び記録媒体 |
-
2010
- 2010-09-13 JP JP2010204439A patent/JP5755861B2/ja active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04260941A (ja) * | 1991-01-25 | 1992-09-16 | Mitsubishi Electric Corp | テストデータの自動生成装置 |
JPH04271440A (ja) * | 1991-02-27 | 1992-09-28 | Hitachi Ltd | 試験項目自動生成方式 |
JP2000347900A (ja) * | 1999-06-02 | 2000-12-15 | Fujitsu Ltd | 入力パラメータ生成装置、その方法及び記録媒体 |
Non-Patent Citations (2)
Title |
---|
CSNG199900850003; 中島歩,他1名: 'プログラミング技法の抽象化とプログラム理解システムALPUSへの応用' 電子情報通信学会技術研究報告 第91巻,第416号, 19920118, pp.17-24, 社団法人電子情報通信学会 * |
JPN6014041427; 中島歩,他1名: 'プログラミング技法の抽象化とプログラム理解システムALPUSへの応用' 電子情報通信学会技術研究報告 第91巻,第416号, 19920118, pp.17-24, 社団法人電子情報通信学会 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013178729A (ja) * | 2012-01-31 | 2013-09-09 | Fujitsu Ltd | 経路条件選択装置、該プログラム、及び該方法 |
JP2014021686A (ja) * | 2012-07-18 | 2014-02-03 | Fujitsu Ltd | テストデータ生成装置、該プログラム、及び該方法 |
Also Published As
Publication number | Publication date |
---|---|
JP5755861B2 (ja) | 2015-07-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105701008B (zh) | 用于测试用例生成的系统和方法 | |
JP2010002370A (ja) | パターン抽出プログラム、方法及び装置 | |
JP2016115175A (ja) | ソフトウェアテスト装置およびソフトウェアテストプログラム | |
JP2008191963A (ja) | ソースコード検証システム、ソースコード検証方法、およびソースコード検証用プログラム | |
US20150220733A1 (en) | Apparatus and method for detecting a malicious code based on collecting event information | |
CN113704129A (zh) | 一种回归测试方法、装置、存储介质和设备 | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP5233355B2 (ja) | プロパティ生成システムおよびプロパティ検証システム | |
JP2012181666A (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
JP6903249B2 (ja) | テストケース生成装置、テストケース生成方法、およびテストケース生成プログラム | |
JP2011191985A (ja) | シンボリック実行支援プログラム、方法及び装置 | |
JP6790921B2 (ja) | プログラム分析装置、プログラム分析方法及びプログラム分析プログラム | |
JP2009134360A (ja) | モデル検査システム、モデル検査方法およびモデル検査用プログラム | |
JPWO2012049816A1 (ja) | モデル検査装置、方法及びプログラム | |
JP6878707B2 (ja) | 試験装置、試験方法および試験プログラム | |
JP6723483B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP2017151594A (ja) | 支援装置、支援方法及びプログラム | |
JP2017041196A (ja) | スタブ化対象判定装置、方法、及びプログラム | |
JP2014232428A (ja) | テスト実行支援装置、テストシステム、テスト実行方法、及び、テスト実行支援プログラム | |
JP6362970B2 (ja) | コンパイル方法、コンパイル装置及びコンパイラプログラム | |
JP5516277B2 (ja) | テストケース関係抽出方法、テストケース関係抽出装置及びテストケース関係抽出プログラム | |
JP2005316710A (ja) | ソフトウェア試験支援装置 | |
JP7210917B2 (ja) | 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム | |
JP5233354B2 (ja) | プロパティ検証システム、プロパティ検証方法、及びプログラム | |
JP2018147114A (ja) | テストケース生成方法、計算機及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20130815 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140520 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140603 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140723 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140930 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20141106 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20150507 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20150528 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5755861 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |