摘要 |
<P>PROBLEM TO BE SOLVED: To ensure that state transitions established in a verified architecture model and state transitions implemented in status transition execution means are equivalent. <P>SOLUTION: A system development support device 1 according to an embodiment of the present invention comprises test execution means 6 that generates an event to cause a state transition complying with a test pattern 12 which is produced based on verified result data 101 to 10n verified with a format verification technology 4 for architecture models 81 to 8n, for state transition execution means 7 to be tested, maps the result of transision of the state transition execution means 7 to the result of transition of the test pattern 12, and generates test execution result data 13 that shows whether the mapped results are equivalent or not. <P>COPYRIGHT: (C)2012,JPO&INPIT |