Issue No.04 - April (1991 vol.40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88470
<p>The authors describe the design of a testing environment, called FOREST (formal environment for systematic testing), for communication systems. The proposed method integrates three major strategies: (1) the use of formal description techniques (FDTs), for their formal semantics, which makes them unambiguous; (2) a stepwise approach to generate appropriate test cases for different test stages; and (3) the systematic support of the testing process, from test development to test execution. FOREST consists of four major subsystems. TENT (test sequence generation tool) is a subsystem that generates test cases from the formal specification of the behavior of a given protocol. APRICOT (ASN.1 pre-compiler, coder and test-debugger) is a subsystem that generates test data from the protocol data structures definition. TESPEC (test specification editor) is a tool producing some test specification based on a standardized formalism. The last subsystem, TEXEC (test executor), is a test execution system which consists of an upper tester and a lower tester, and a simulator of the communication medium.</p>
formal description techniques; design; FOREST; formal environment for systematic testing; communication systems; formal semantics; stepwise approach; test development; test execution; TENT; test sequence generation tool; protocol; APRICOT; ASN.1 pre-compiler; coder; test-debugger; data structures; test specification editor; upper tester; lower tester; simulator; formal specification; programming environments; protocols.
S. Sato, T. Nakakawaji, K. Katsuyama, "Strategic Testing Environment with Formal Description Techniques", IEEE Transactions on Computers, vol.40, no. 4, pp. 514-525, April 1991, doi:10.1109/12.88470