| 摘要 |
The present invention provides a method of designing a validation environment for a service implemented by an embedded electrical system. To implement the method it is necessary to assign to that service one or more "user requests" and "system responses". Next, it is necessary to assign to the service a behavioral automata, which fixes the allowed sequencing of the user requests and system responses. When this has been done, a skeleton validation environment is automatically generated for the service. The skeleton validation environment comprises a testing automata produced from a traversal of said behavioral automata, a model of initial conditions, models of user requests, models of system response accuracy, an environmental model and the dataflow and control flow assembling these models together. The skeleton validation environment covers all user requests and resultant system responses of the service. The skeleton validation environment is then recorded in a computer readable memory device for use by a design validation tool. |
