Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Component airbag: a novel approach to develop dependable component-based applications
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Characterizing the differences between pre- and post- release versions of software
Proceedings of the 33rd International Conference on Software Engineering
Improved usage model for web application reliability testing
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Making services fault tolerant
ISAS'06 Proceedings of the Third international conference on Service Availability
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Hi-index | 0.01 |
Software validation is an important activity in order to test whether or not the correct software has been developed. Several testing techniques have been developed, and one of these is statistical usage testing (SUT). The main purpose of SUT is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models. Another advantage of SUT is that the reliability of the software can be estimated. In this paper, Markov chains are used to represent the usage models. Several approaches using Markov chains have been applied. This paper extends these approaches and presents a new approach to estimate the reliability from Markov chains. The reliability estimation is implemented in a new tool for statistical usage testing called MaTeLo. The tool is developed in a joint European project involving six industrial partners and two university partners. The purpose of the tool is to provide an estimate of the reliability and to automatically produce test cases based on usage models described as to Markov models.