Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Cooke, “Formal Methods·Mathematics, Theory, Recipes or What?” The Computer Journal, Vol. 35, No. 5, pp. 419–423, 1992.
A. Hall, “Seven Myths of Formal Methods,” IEEE Software, pp. 11–19, Sept. 1990.
M. Thomas, “The Industrial Use of Formal Methods,” Microprocessors and Microsystems, Vol. 17, No. 1, pp. 31–36, 1993.
S. Abramsky and C. Hankin, Abstract Interpretation of Declarative Languages, Ellis Horwood, Chichester, UK, 1987.
C.J. Hogger, Introduction to Logic Programming, Academic Press, London, UK, 1984.
ISO 10103–11:1994: Industrial Automation Systems and Integration·Product Data Representation and Exchange· Part 11: EXPRESS Language Reference Manual, International Organization on Standardization, Geneva, Switzerland, 1994.
D. Schenk and P. Wilson, Information Modeling: The EXPRESS Way, Oxford University Press, New York, 1994.
ARINC 626–3: Standard ATLAS for Modular Test, Aeronautical Radio, Inc., Annapolis, Maryland, 1995.
IEEE Std 716–1995: IEEE Standard Test Language for All Systems·Common/Abbreviated Test Language for All Systems (C/ATLAS), IEEE Standards Press, Piscataway, NJ, 1995.
IEEE Std 771–1989: IEEE Guide to the Use of the ATLAS Specification, IEEE Standards Press, Piscataway, NJ, 1989.
L. Shombert, Test Requirements Model Language Reference Manual, Draft 0.1, Technical Report CAE-1998–07–01, Intermetrics, Vienna, VA, 1998.
R. Atkins and D. Rolince, “TRSL Standard Supports Current and Future Test Processes,” Proceedings AUTOTESTCON '94, 1994, pp. 271–279.
J. Nagy and J. Newberg, “Capturing Board-Level Test Requirements in Generic Formats,” Proceedings AUTOTESTCON '94, IEEE Press, New York, 1994, pp. 61–69.
W.R. Simpson and J.W. Sheppard, System Test and Diagnosis, Kluwer Academic Publishers, Boston, 1994.
C. Papachristou and J. Carletta, “Test Synthesis in the Behavioral Domain,” Proceedings of the International Test Conference, 1995, pp. 693–702.
R. Dechter, “Constraint Networks: A Survey,” The Encyclopedia of Artificial Intelligence, S.C. Shapiro (Ed.), Wiley, New York, 1992.
P. Pearl, Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1988.
P. Caunegre and C. Abraham, “Achieving Simulation-Based Test Program Verification and Fault Simulation Capabilities for Mixed-Signal Systems,” Proceedings of the European Design & Test Conference, 1995, pp. 469–477.
M. Miegler and W. Wolz, “Development of Test Programs in a Virtual Test Environment,” Proceedings of the 14th IEEE VLSI Test Symposium, 1996, pp. 99–103.
G. Hardenburg and D. Nichols, “The IEEE ABBET Lower Layers Definition and Status,” Proceedings of AUTOTESTCON '95, 1995, pp. 57–65.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shombert, L.A., Sheppard, J.W. A Behavior Model for Next Generation Test Systems. Journal of Electronic Testing 13, 299–314 (1998). https://doi.org/10.1023/A:1008337903968
Issue Date:
DOI: https://doi.org/10.1023/A:1008337903968