Introduction to logic programming
Introduction to logic programming
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Formal methods—mathematics, theory, recipes or what?
The Computer Journal - Special issue on formal methods: part 1
The industrial use of formal methods
Microprocessors & Microsystems - Special issue on safety-critical systems
Information modeling: the EXPRESS way
Information modeling: the EXPRESS way
System Test and Diagnosis
Abstract Interpretation of Declarative Languages
Abstract Interpretation of Declarative Languages
IEEE Software
Test Synthesis in the Behavioral Domain
Proceedings of the IEEE International Test Conference on Driving Down the Cost of Test
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Development of test programs in a virtual test environment
VTS '96 Proceedings of the 14th IEEE VLSI Test Symposium
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Hi-index | 0.00 |
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the context of testing, a formal model of behavior was developed for use by test systems. The approach taken in defining the behavior model was based on information modeling and was derived from recent work in formal methods by the hardware and software design communities. Specifically, an information model was developed in EXPRESS capturing the relationships between essential entities characterizing behavior. In this paper, we provide a high level description of the behavior information model and several examples applying the model in a test environment.