Standards compliance testing for unified modelling language tools

Bunyakiati, P.; Finkelstein, A.
April 2011
IET Software;Apr2011, Vol. 5 Issue 2, p120
Academic Journal
Software modelling standards such as the unified modelling language (UML) provide complex visual languages for producing the artefacts of software systems. Software tools support the production of these artefacts by providing model constructs and their usage rules. Owing to the size and complexity of these standards specifications, establishing the compliance of software modelling tools to the standards can be difficult. As a result, many software tools that advertise standards compliance may fail to live up to their claims. This study presents a compliance testing framework to determine the conditions of compliance of tools and to diagnose the causes of non-compliance issues. The Java-UML lightweight enumerator (JULE) tool realises this framework by providing a powerful technology to create a compliance test suite for modelling tools. JULE generates test cases only up to non-isomorphism to avoid combinatorial explosion. An experiment with respect to the UML 1.4 is presented in this study. The authors test ArgoUML for its compliance with the UML 1.4 specification. The authors also report some findings on four UML 2.x tools, including Eclipse Galileo UML2, Enterprise Architect 7.5, Poseidon for UML 8.0 and MagicDraw 16.6.


Related Articles

  • VB refuses to stay in Java's shadow. Coffee, Peter // PC Week;04/06/98, Vol. 15 Issue 14, p46 

    Discusses Java and Visual Basic. Why Java adherents have not been able to convince Visual Basic developers to use Java; What Visual Basic is capable of; The increasing diversity of Java from different vendors; Why Sun Microsystems needs to focus on making Java truly cross-platform, including...

  • UML-Checker: An Approach for Verifying UML Behavioral Diagrams. Fernandes, Flávio; Song, Mark // Journal of Software (1796217X);May2014, Vol. 9 Issue 5, p1229 

    UML is a visual modeling language used for specifying, visualizing, constructing, and documenting software artifacts. Despite having many features to model systems, conducting verifications and validations on UML models is not an easy task. In this paper, the problem of performing verification...

  • Java development tools get smart. Coffee, Peter // eWeek;2/14/2005, Vol. 22 Issue 7, p50 

    The article informs that IBM and Sun Microsystems Inc. are responding to that reality with Java environments that are not merely competitive but actually set a fast pace for the Visual Studio update that Microsoft Corp. won't ship until late this summer. IBM's Rational Web Developer 6.0 speeds...

  • UML interaction model-driven runtime verification of Java programs. Li, X.; Qiu, X.; Wang, L.; Chen, X.; Zhou, Z.; Yu, L.; Zhao, J. // IET Software;Apr2011, Vol. 5 Issue 2, p142 

    The authors use unified modelling language (UML) 2.0 interaction overview diagrams (IODs) and sequence diagrams to construct simple and expressive scenario-based specifications, and present an approach to runtime verification of Java programs for exceptional consistency and mandatory...

  • AGENT-BASED FRAMEWORK FOR BUILDING EFFICIENT POSTPAID BILLING SYSTEM IN TELECOMMUNICATIONS. Garko, Ahmed Baita; Wajiga, Gregory Maksha; Egwurube, M. O. // Information Technologist;Jun2012, Vol. 9 Issue 1, p23 

    The postpaid and prepaid billing systems currently in operation in Telecommunications have some problems that show a win-loss situation. In postpaid the problem is mostly due to fraudulent activities by some employees that costs a telecommunications company a loss of between 5% and 15% of its...

  • A New Approach for Code Generation from UML State Machine. Aabidi, My Hafid; Jakimi, Abdeslam; El Kinani, El Hassan; Elkoutbi, Mohammed // International Review on Computers & Software;Feb2013, Vol. 8 Issue 2, p500 

    The emergence of Unified Modeling Language (UML) as a standard for modeling systems has encouraged the use of automated software tools that facilitate the development process from analysis through coding. The UML state machine diagram is used for modeling the dynamic aspects of systems and...

  • UML-BASED MODELING AND ANALYSIS OF SECURITY THREATS. KONG, JUN; XU, DIANXIANG; ZENG, XIAOQIN // International Journal of Software Engineering & Knowledge Engine;Sep2010, Vol. 20 Issue 6, p875 

    Poor design has been a major source of software security problems. Rigorous and designer-friendly methodologies for modeling and analyzing secure software are highly desirable. A formal method for software development, however, often suffers from a gap between the rigidity of the method and the...

  • On Visual and Kinetic Textuality. Strehovec, Janez // Afterimage;Jul/Aug2003, Vol. 31 Issue 1, p6 

    Focuses on kinetic and animated Web-based poetry pieces that are often developed in distinct time sequences and are usually programmed in Java script, Shockwave, or Flash. Overview of visual language; Information on the basic component of kinetic textuality; Description of trendy activity and...

  • INTERACTIVE VISUALISATION OF OLIGOMER FREQUENCY IN DNA. MAKULA, Matej; BEŇUŠKOVÁ, Lubica // Computing & Informatics;2009, Vol. 28 Issue 5, p695 

    Since 1990, bioinformaticians have been exploring applications of the Chaos Game Representation (CGR) for visualisation, statistical characterisation and comparison of DNA sequences. We focus on the development of a new computational algorithm and description of new software tool that enables...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics