SYSTEM TESTING METHOD

摘要

PURPOSE:To make it possible to perform automatic verification of the operation of a system for handling information containing errors by obtaining events and actions as time sections based on a finite-state machine model. CONSTITUTION:The signal from a power source SW 26, the temperature data measured with a sensor 23, the rotation data of a motor 25 and the signal of a timer in a refrigerator control part board 24 are outputted as the detected signals indicating the operation of the refrigerator into a testing device 21 from a device under test 22. The detected signals are inputted into a signal input part 27. Events are taken out with an event taking-out part 28 and actions are taken out with an action taking-out part 29 based on a finite-state machine model containing time information from the detected signals inputted into the input part 27. The data which are taken out with the taking-out part 28 and the taking-out part 29 are collated with the specifications in a verifying part 32 in accordance with an auto-machine 31 for controlling the state of the device 22 based on the specifications stored in a specification data file 30. Thus the data are detected.