Model-Based Quality Assurance of Automotive Software
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Evaluation of {model-based} testing techniques selection approaches: An external replication
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
An approach for class testing from class contracts
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Hi-index | 0.00 |
Although models have been proven to be helpful in a number of software engineering activities there is still significant resistance to model-driven development. This paper investigates one specific aspect of this larger problem. It addresses the impact of using statecharts for testing class clusters that exhibit a state-dependent behavior. More precisely, it reports on a controlled experiment that investigates their impact on testing fault-detection effectiveness. Code-based, structural testing is compared to statechart-based testing and their combination is investigated to determine whether they are complementary. Results show that there is no significant difference between the fault detection effectiveness of the two test strategies but that they are significantly more effective when combined. This implies that a cost-effective strategy would specify statechart-based test cases early on, execute them once the source code is available, and then complete them with test cases based on code coverage analysis.