Affiliation:
1. Coimbatore Institute of Technology, India
2. University of Hyderabad, India
Abstract
The increasing use of software is giving rise to the development of highly complex software systems. Further, software systems are required to be of high quality as a defect can have catastrophic effect on business as well as human life. Testing is defined as the process of executing a program with the intention of finding errors. Software testing is an expensive process of the software development life cycle consuming nearly 50% of development cost. Software testing aims not only to guarantee consistency in software specification but also to validate its implementation meeting user requirements. On the whole, it is observed that in general, errors in software systems set in at the early stages of the software development cycle (i.e. while gathering user requirements and deciding on specification of intended software). Even though formal specification in B and Z assures a provable system, its use has become less popular due to mathematical rigor. The Unified Modeling Language (UML), a semi-formal language with graphical notations consisting of various diagrams has caught software developers’ imaginations and, it has become popular in industry. UML, with its several diagrams, helps to develop a model of intended software, and the model behaviour is simulated and tested to the satisfaction of both developer as well as users. As a UML model includes specifications of different aspects of a software system through several diagrams, it is essential to maintain consistency among diagrams so that quality of the model is maintained, and through inconsistency checking and removal, the model moves toward completeness. The works reported in literature on this topic are reviewed here.
Reference42 articles.
1. Bernardi, S., Donatelli, S., & Merseguer, J. (2002). From UML sequence diagrams and statecharts to analysable petrinet models. In Proceedings of the 3rd International Workshop on Software and Performance, (pp. 35-45). New York, NY: ACM.
2. Ensuring UML Models Consistency Using the OCL Environment
3. Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., & Horowitz, B. M. (1999). Model-based testing in practice. In Proceedings of International Conference on Software Engineering (ICSE 99), (pp. 285-294). IEEE Computer Society.
4. de Fombelle, G., Blanc, X., Rioux, L., & Gervais, M.-P. (2006). Finding a path to model consistency. In Proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2006), (pp. 101-112). Berlin: Springer-Verlag.