The compliance testing of software tools with respect to the UML standards specification - The ArgoUML case study
Automation of Software Test, Second International Workshop on (2009)
Vancouver, BC Canada
May 18, 2009 to May 19, 2009
Panuchart Bunyakiati , Dept. of Computer Science, University College London, WC1E 6BT, United Kingdom
Anthony Finkelstein , Dept. of Computer Science, University College London, WC1E 6BT, United Kingdom
In ICSE'08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in our framework for software tool certification, JULE provides a powerful technology to enumerate a set of test cases that exhaustively test a modeling tool. JULE avoids combinatorial explosion by generating test cases only up to non-isomorphism. In this paper, a case study presented is an experiment on the use of a test suite generated from JULE to assess the compliance of an open source software tool - ArgoUML. This case study illustrates how ArgoUML is tested and reveals some previously unknown non-compliance issues. The case study highlights how software modeling tools can be tested for standards compliance and how test results can be analyzed to diagnose the causes of non-compliance in a software tool.
conformance testing, program testing, program verification, public domain software, software standards, software tools, Unified Modeling Language
P. Bunyakiati and A. Finkelstein, "The compliance testing of software tools with respect to the UML standards specification - The ArgoUML case study," 2009 ICSE Workshop on Automation of Software Test (AST 2009)(AST), Vancouver, BC, 2009, pp. 138-143.