A METHOD OF AUTOMATICALLY GENERATING TEST SCRIPTS FROM A SYSTEM SPECIFICATION MODEL

摘要

A method of automatically generating test scripts from a system specification model is presented. A system specification model can include variables and events that define values of these variables and also events that pass these values within the specified system. The testing of this model is enhanced by tracing the variables and their associated values as they are relayed around the specified system, and detecting the veracity of the values at strategic points in the system.