At the second step, some practical faults are injected into the initial program. We first check whether the initial program passes all the derived test suites. Using the tool Visual Paradigm for UML 8.0 a JAVA code is generated for this application that serves a sample when assessing the test suite quality. The paper presents a case study for assessing the quality of test suites derived by three methods, which is estimated for the example of a phone line the UML description of this project is taken from. In this paper, we derive tests with the guaranteed fault coverage based on a timed Finite State Machine (FSM) augmented with timeouts, since FSMs are known to be an efficient model for deriving tests with the guaranteed fault coverage.
Uml editor comparison software#
one of the formal models for testing UML-based software is a trace timed model. The UML description can be automatically translated into a program code using proper tools and the developed software should be thoroughly tested. correspondingly, the UML is widely used in software engineering, business project development, hardware design and in a number of other applications.
Uml editor comparison update#
The UML being a visual modeling language allows obtaining comprehensive and detailed information about a system under design, as well as provides a possibility for convenient update of the system. Many of such systems are formally described using the UML (the Unified Modeling Language) that has become the de facto standard for modeling software applications. Nowadays software failures of critical control systems are very expensive, and, thus, it is essential to provide high-quality testing at every stage of the system development. Keywords-Finite State Machines with timeouts, the UML state machine diagrams, test suites
The experimental results on the quality of the above mentioned test suites and the corresponding analysis are presented. Test suites are then applied to the program, automatically generated via the UML tool. Rustam Galimullin Department of Radiophysics Tomsk State University Tomsk, Russia comĪbstract- The paper presents the experimental comparison of the quality of three test suites based on the model of a Finite State Machine with timeouts, namely, the explicit enumeration of faulty mutants, transition tour and TFSM-based black-box test. Experimental comparison of the quality of TFSM-based test suites for the UML diagrams
0 kommentar(er)
