摘要 |
PURPOSE:To devise a simplex program with good quality and high reliability by checking a program logic with use of a data sampled by an SNAP dumping and sampling means, and a correspondence table of I/O cases and test data. CONSTITUTION:A part 11 for division divides a program into processing units, and an I/O case is determined for every processing unit by a setting part 12. Then, a generation part 13 forms a correspondence table of I/O cases and test data. A setting part 14 decides on an SNAP dump for every I/O case. Then, a simplex test processing part 15 takes a simplex test by the test data, and a logic check part 16 checks the SNAP dumps and also checks program logic by using said correspondence table. A correspondence check part 17 makes a check until the correspondence between the I/O case NO and test data ends completely. |