Add to ORKG[[abstract]]A technique is proposed for generating a synchronizable test sequence to ensure protocol implementation conformity to protocol specification. This duplex technique converts the transition graph of a protocol into a duplex graph in order to generate a synchronizable test sequence for the protocol. By introducing the Chinese postman tour, this technique can be applied to the transition-tour method for generating the optimally synchronizable test sequence[[fileno]]2030209030074[[department]]資訊工程學
Test suite generation and selection form important aspects of conformance testing. The test suite ge...
The objective of protocol testing is to confirm that a protocol implementation under test conforms t...
To enhance the probability of interworking among protocol implementations, the implementations must ...
[[abstract]]A technique is proposed for generating a synchronizable test sequence to ensure protocol...
[[abstract]]As the synchronizable test sequence (generated by exponential-computation-time technique...
[[abstract]]This paper proposes a test sequence generation method for testing the conformance of a p...
This study addresses the synchronization problem that arises during the application of a predetermin...
[[abstract]]Testing a protocol implementation involving more than two communicating parties is achie...
The use of formal methods allows automated generation and optimization of test sequences. Developing...
[[abstract]]Testing if a multi-party protocol implementation conforms to the specification is achiev...
Abstract-Protocol testing for the purpose of certifying the imple-mentation’s adherence to the proto...
AbstractConformance testing is very important in the framework of protocol engineering. In order to ...
AbstractProtocol testing leads to the synchronization problem should test sequences be applied to mu...
The authors report their experience in utilizing formal conformance testing techniques to test as an...
An optimization method is introduced for generating minimum-length test sequences taking into accoun...
Test suite generation and selection form important aspects of conformance testing. The test suite ge...
The objective of protocol testing is to confirm that a protocol implementation under test conforms t...
To enhance the probability of interworking among protocol implementations, the implementations must ...
[[abstract]]A technique is proposed for generating a synchronizable test sequence to ensure protocol...
[[abstract]]As the synchronizable test sequence (generated by exponential-computation-time technique...
[[abstract]]This paper proposes a test sequence generation method for testing the conformance of a p...
This study addresses the synchronization problem that arises during the application of a predetermin...
[[abstract]]Testing a protocol implementation involving more than two communicating parties is achie...
The use of formal methods allows automated generation and optimization of test sequences. Developing...
[[abstract]]Testing if a multi-party protocol implementation conforms to the specification is achiev...
Abstract-Protocol testing for the purpose of certifying the imple-mentation’s adherence to the proto...
AbstractConformance testing is very important in the framework of protocol engineering. In order to ...
AbstractProtocol testing leads to the synchronization problem should test sequences be applied to mu...
The authors report their experience in utilizing formal conformance testing techniques to test as an...
An optimization method is introduced for generating minimum-length test sequences taking into accoun...
Test suite generation and selection form important aspects of conformance testing. The test suite ge...
The objective of protocol testing is to confirm that a protocol implementation under test conforms t...
To enhance the probability of interworking among protocol implementations, the implementations must ...