A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Conformance testing for OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synchronizable test sequences of finite state machines
Computer Networks and ISDN Systems
Error detection with multiple observers
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Distributed testing without encountering controllability and observability problems
Information Processing Letters
Using status messages in the distributed test architecture
Information and Software Technology
Generating checking sequences for a distributed test architecture
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing in the distributed test architecture
Formal methods and testing
Detecting observability problems in distributed testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Generating minimal synchronizable test sequence that detects output-shifting faults
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Resolving observability problems in distributed test architectures
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
In conformance testing of a software system, independent multiple testers (or observers) are often used, each providing input messages to and receiving output messages from the software system. For an execution of the software system, if all testers have observed correct results, the intuitive conclusion is that this execution is correct. However, this conclusion may be wrong, and this problem is referred to as multi-tester observation inaccuracy. In this paper, for a specification written as a deterministic or nondeterministic finite state machine (FSM), we present a necessary and sufficient condition for an incorrect test observation by multiple testers. For a specification written as a deterministic FSM, we define three types of implementation faults that can cause incorrect test observations. We also propose a strategy for solving the problem of multi-tester observation inaccuracy.