摘要 |
PURPOSE:To reduce a test quantity by decomposing a calculation program into an arithmetic equation and input/output and testing whether a variable needed to decide the variable contained in the arithmetic equation is defined or not and whether the defined variable is used or not. CONSTITUTION:This tester is provided with a computer 1, auxiliary memories 2 and 3, an input/output device 4 and interfaces 5 and 6 for the computer 1 and auxiliary memories. The memory 2 stores calculation programs 9 and 10, etc. Which are tested; while the memory 3 stores a knowledge base 7 for inspection based on this invention and a logical control program 8. These programs and the knowledge data stored in the auxiliary memories are called out onto the core memory of a computer 1 with an instruction given from the device 4. Thus the inspection processing is carried out, and the result of this inspection is displayed to a CRT of the device 4. It is tested whether or not the calculation program is produced correctly. If the calculation program is not produced correctly, both an undefined variable and the name of an unused variable can be detected respectively.
|