| 摘要 |
PROBLEM TO BE SOLVED: To display a record having a high possibility of generating a bug in a program.SOLUTION: DELETE, INSERT and UPDATE queries of a test case, extracted from design information are converted into a SELECT query; test cases are grouped into test case groups in such a manner that records in test cases belonging to the same group selected by means of respective SELECT sentences do not overlap each other; information of respective test cases in the test case group are acquired to generate a constraint equation for input variables in the test case; DB table variables are acquired; DB record variables whose number is equal to the number of the records are generated; and at a position of the record position counter in the record arrangement table, tags are imparted to a test case and a SELECT query for each group. The constraint equation of the test case group is solved by using an arbitrary solution, and along with an input value for each test case and the DB initial state, a test case and a SELECT query, each imparted with a tag, are output. |
