TEST CASE GENERATION PROGRAM, TEST CASE GENERATION DEVICE, AND TEST CASE GENERATION METHOD

PROBLEM TO BE SOLVED: To extract a path capable of improving the inspection quality of an inspection target program and corresponding to fewer test cases from the inspection target program.SOLUTION: A test case generation device 10 comprises: an extraction unit 12; an aggregation unit 14; an acquisi...

Full description

Saved in:
Bibliographic Details
Main Authors SUPASIT MONPRATARNCHAI, FUJIWARA SHOICHIRO, UEHARA TADAHIRO, SASAKI YUSUKE, MUNAKATA KAZUKI, TOKUMOTO SUSUMU, MAEDA YOSHIHARU, KATAYAMA ASAKO
Format Patent
LanguageEnglish
Japanese
Published 29.10.2015
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:PROBLEM TO BE SOLVED: To extract a path capable of improving the inspection quality of an inspection target program and corresponding to fewer test cases from the inspection target program.SOLUTION: A test case generation device 10 comprises: an extraction unit 12; an aggregation unit 14; an acquisition unit 16; and a generation unit 20. The extraction unit 12 extracts a path condition for every path realizing the coverage of branches extracted from an inspection target program 22, and extracts a conditional equation (individual conditional equation) contained in the path condition. The aggregation unit 14 aggregates the individual conditional equations (atomic formulas). The acquisition unit 16 acquires, from combinations of truth-values of the atomic formulas, a combination of truth-values that do not represent any of path conditions extracted by the extraction unit 12 and that do not contradict combinations of truth-values of the respective atomic formulas, and acquires expansion path conditions obtained by adding a new path condition corresponding to the acquired combination of the truth-values of the atomic formula to the path conditions extracted by the extraction unit 12. The generation unit 20 generates a test case 24 corresponding to each of the expansion path conditions. 【課題】被検査プログラムの検証品質を向上させることができる、より少数のテストケースに対応したパスを、被検査プログラムから抽出する。【解決手段】テストケース生成装置１０は、抽出部１２、集約部１４、取得部１６、生成部２０を備える。抽出部は、被検査プログラム２２から抽出した分岐網羅を実現するパス毎にパス条件を抽出し、パス条件に含まれる条件式（個別条件式）を抽出する。集約部は、個別条件式を集約する（原子論理式）。取得部は、原子論理式の真偽値の組み合わせから、抽出部が抽出した何れのパス条件も表していない真偽値の組み合わせで、且つ、原子論理式の各々が取る真偽値の組み合わせとして矛盾しない真偽値の組み合わせを取得し、抽出部が抽出したパス条件に、取得した原子論理式の真偽値の組み合わせに対応した新たなパス条件を追加した拡張パス条件を取得する。生成部は、拡張パス条件の各々に対応したテストケース２４を生成する。【選択図】図４
Bibliography:Application Number: JP20140064293