|Authors||H. Zhang, T. Yue, S. Ali and C. Liu|
|Title||Towards Mutation Analysis for Use Cases|
|Project(s)||The Certus Centre (SFI), MBT4CPS: Model-Based Testing For Cyber-Physical Systems , Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines , MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System|
|Publication Type||Technical reports|
|Year of Publication||2016|
|Publisher||Simula Research Laboratory|
Requirements inspection is a well-known method for detecting defects. Various defect detection techniques for requirements inspection have been widely applied in practice such as checklist and defect-based techniques. Use case modeling is a widely accepted requirements specification method in practice; therefore, inspecting defects in use case models in a cost-effective manner is an important challenge. However, there does not exist a systematic mutation analysis approach for evaluating inspection techniques for use case models. As the first step towards a fully-fledged mutation analysis for use case models, in this paper we present the methodology we followed to systematically derive mutation operators for use case models. More specifically, we first propose a defect taxonomy defining 94 defect types, based on the IEEE Std. 830-1998 standard. Second, we systematically applied the basic guide words of the standardized Hazard and Operability Study (HAZOP) methodology to define 189 mutation operators, together with the defect taxonomy. Last, we define a set of guidelines for devising defect seeding strategies. The proposed methodology was evaluated by a real world case study and six case studies taken from the literature. Results show that all the RUCM mutation operators are feasible to apply and the defect taxonomy is the most comprehensive one to compare with the literature.