Abstract | ||
---|---|---|
Formal test execution method is an important research field in formal protocol conformance testing. In this paper, we propose a formal test execution aapproach that is based on test notation TTCN's operational semantics, and describe its executing process by using Input-Output Transition System(IOTS). We also give out a pratical design of this formal approach. This formal TTCN-based test execution method is very suitable for the construction of general protocol test system, and also an effective means of automatic test suite verification. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/INFCOM.1997.635134 | INFOCOM |
Keywords | Field | DocType |
formal protocol conformance testing,test notation ttcn,formal test execution aapproach,formal test execution method,formal ttcn-based test execution,input-output transition,effective mean,general protocol test system,automatic test suite verification,formal approach,computer science,protocols,system testing,conformance testing,natural languages,formal verification,operational semantics,sequential analysis,formal specification,input output,tellurium | Test suite,Operational semantics,Notation,Programming language,TTCN,Computer science,Formal specification,Conformance testing,Formal methods,Formal verification | Conference |
ISSN | ISBN | Citations |
0743-166X | 0-8186-7780-5 | 3 |
PageRank | References | Authors |
0.86 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ruibing Hao | 1 | 207 | 17.97 |
Jianping Wu | 2 | 743 | 121.01 |