Automated generation of test oracles using a model-driven approach
Information and Software Technology
Computers in Biology and Medicine
More testers - The effect of crowd size and time restriction in software testing
Information and Software Technology
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Turning web services descriptions into quickcheck models for automatic testing
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
A metric towards evaluating understandability of state machines: An empirical study
Information and Software Technology
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
Empirical Software Engineering
Hi-index | 0.00 |
A large number of research works have addressed the importance of models in software engineering. However, the adoption of model-based techniques in software organizations is limited since these models are perceived to be expensive and not necessarily cost-effective. Focusing on model-based testing, this paper reports on a series of controlled experiments. It investigates the impact of state machine testing on fault detection in class clusters and its cost when compared with structural testing. Based on previous work showing this is a good compromise in terms of cost and effectiveness, this paper focuses on a specific state-based technique: the round-trip paths coverage criterion. Round-trip paths testing is compared to structural testing, and it is investigated whether they are complementary. Results show that even when a state machine models the behavior of the cluster under test as accurately as possible, no significant difference between the fault detection effectiveness of the two test strategies is observed, while the two test strategies are significantly more effective when combined by augmenting state machine testing with structural testing. A qualitative analysis also investigates the reasons why test techniques do not detect certain faults and how the cost of state machine testing can be brought down.