Browsing Computer Science by Subject "Software test automation"
Now showing items 1-4 of 4
-
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ... -
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ... -
Risk-driven model-based testing of washing machine software: an industrial case study
(IEEE, 2018-07-16)We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilities. ... -
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Share this page