Calculating the usage probabilities of statistical usage models by constraints optimization
Proceedings of the 5th Workshop on Automation of Software Test
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A comfortable testplayer for analyzing statistical usage testing strategies
Proceedings of the 6th International Workshop on Automation of Software Test
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
Scenario-Based statistical testing of quality of service requirements
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Veritas - a versatile modeling environment for test-driven agile simulation
Proceedings of the Winter Simulation Conference
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
In this paper, we present a general framework fortesting time-critical systems and software, as it isproposed in the European IST project MaTeLo. The mainfocus is on automatically generating a MCUM (MarkovChain Usage Model) starting from an FDT (FormalDescription Technique) description in order to deriveTTCN-3 (Testing and Test Control Notation version 3)compatible test case definitions.Our approach is a combination of statistical usagetesting based on a given MCUM and specification-basedtesting that is using FDT inputs. Within MaTeLo, specialattention is given to international standardized FDTnotations, specifically ITU-T MSC (Message SequenceChart). In addition, we make use of annotations to specifyselected non-functional requirements to support theautomated software testing of the real time systems. Wealso defined an XML-based representation format calledMCML (Markov Chain Markup Language) to build acommon interface between various parts of the MaTeLotool set.