Protocol Testing Theory Based on Formal Methods

吴建平,尹霞
DOI: https://doi.org/10.3321/j.issn:1000-0054.2001.04.049
2001-01-01
Abstract:A protocol testing theory is presented based on formal methods.The system under tester, protocol specifications, test requirements and implementation relationships between under tester and tester are specified. The test activity is controlled by the test suite and the test principle is defined by three operations: pass, fail, and inconclusive. Finally, the test result is given by a verdict function. A formal programmable language, which is an input and output labeled transition system (IOTS), is recommended to specify the concept and framework of the protocol testing theory.
What problem does this paper attempt to address?