The basis of distributed system conformance testing is to test theconformance of each entity with its standard. This paper addresses the approach toentity conformance testing based on concurrent TTCN. First a prelimin...The basis of distributed system conformance testing is to test theconformance of each entity with its standard. This paper addresses the approach toentity conformance testing based on concurrent TTCN. First a preliminary framework for entity conformance testing is introduced and a specification model CEBEis presented. Then a test generation method, which could directly derive concurrentTTCN test suite from CEBE, is proposed.展开更多
Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing ba...Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN. We define Concurrent TTCN's operational semantics by using Labeled transition System, and describe the interoperability test execution and test verdict based on Concurrent TTCN. This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.展开更多
This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurr...This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of input-Output Labeled Thansition Sys- tem. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.展开更多
文摘The basis of distributed system conformance testing is to test theconformance of each entity with its standard. This paper addresses the approach toentity conformance testing based on concurrent TTCN. First a preliminary framework for entity conformance testing is introduced and a specification model CEBEis presented. Then a test generation method, which could directly derive concurrentTTCN test suite from CEBE, is proposed.
基金This Research is supported by the National Natural Science Foundation of China under GrantNo.69473011.
文摘Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN. We define Concurrent TTCN's operational semantics by using Labeled transition System, and describe the interoperability test execution and test verdict based on Concurrent TTCN. This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.
基金National Natural Science Foundation of China under Grant No. 69682002.
文摘This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of input-Output Labeled Thansition Sys- tem. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.