Document Type
Conference Proceeding
Publisher
IEEE Computer Society Press
Faculty
Faculty of Computing, Health and Science
School
School of Computer and Information Science
RAS ID
6109
Abstract
UML has became the industry standard for analysis and design modeling. Model is a key artifact in Model Driven Architect (MDA) and considered as an only concrete artifact available at earlier development stages. Error detection at earlier development stages can save enormous amount of cost and time. The article presents a novel mutation analysis technique for UML 2.0 Activity Diagram (AD). Based on the AD oriented fault types, a number of mutation operators are defined. The technique focuses on the key features of AD and enhances the confidence in design correctness by showing the absence of control-flow and concurrency related faults. It will enable the automated analysis technique of AD models and can potentially be used for service oriented applications, workflows and concurrent applications.
DOI
10.1109/CIMCA.2008.210
Access Rights
free_to_read
Comments
This is an Author's Accepted Manuscript of: Farooq, U. , & Lam, C. P. (2008). Mutation Analysis for the Evaluation of AD Models . Proceedings of International Conference on Computational Intelligence for Modelling, Control and Automation. (pp. 296-301). Vienna, Austria. IEEE Computer Society Press. Available here
© 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.