PHYSICAL ENVIRONMENT REPRESENTATION SYSTEM, OPERATING METHOD, AND TESTING METHOD

摘要

PROBLEM TO BE SOLVED: To obtain unique application for integrating the behavior of a hardware system in physical environment for a development test of the hardware system by including a means for generating input bits satisfying one group of restrictions for representing the restrictions in the physical environment. SOLUTION: Restrictions from a restriction part 60 are provided for a correcting function execution part 51 and processed. Those are given to input bits inputted an input bit storage part 52 which stores unrestricted input bits to the correcting function execution part 51 to generate restriction input bits 53 satisfying one group of restrictions representing restrictions in the physical environment. An initial state input part 60 sets the state bits of an initial state in a state bit storage part 61. Then those are inputted to a state transition function execution part 63 and an observation function execution part 64 together with the restriction input bits 53.