UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Conformance test experiments for distributed real-time systems
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Temporal Approach for Testing Distributed Systems
IEEE Transactions on Software Engineering
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
JUMBL: A Tool for Model-Based Statistical Testing
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Coverage Analysis for Message Flows
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
This paper considers the problem of testing the communication between components of a timed distributed software system. We assume that communication is specified using timed interface automata. One of the practical issues with such systems is that components might be of reasonable size and complexity, whereas the system as a product of its components is not. Test sequences can be generated from such a state-based specification of a distributed system, possibly to achieve a concrete test coverage goal. However, we may have to apply test sequences many times in order to provoke sporadic failures that may occur as a consequence of the system's calibration, e.g. throughput, communication load, processor load, or memory usage. In order to cope with these problems we automatically derive a Markov chain model from a given set of test sequences and use this test-model to direct testing. We introduce an algorithm for generating a test-model from a set of sequences of use in such a way that each test sequence is a trace of the test-model and the test-model may contain additional traces. We demonstrate that the presented approach increases test effectiveness regarding sporadically occurring failures and through additionally covered uses of the system. Furthermore, we argue that this approach can form part of an iterative integration process for distributed software systems. A major benefit of the presented approach lies in its applicability and scalability to large distributed systems, since the complexity of partial model generation depends only on the number and length of test sequences used.