Automatic Test Data Synthesis using UML Sequence Diagrams.

Abstract

Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests. For a large and complex system, there are usually a large number of scenarios and hence a large number of test paths also called test specifications. To automate test execution, each test specification should be augmented with appropriate test input data. In this paper, we propose an approach of synthesizing test data from the information embedded in model elements such as class diagrams, sequence diagrams and OCL constraints. In our approach, we enrich a sequence diagram with attribute and constraint information derived from class diagram and OCL constraints and map it onto a structured composite graph called SCG. The test specifications are then generated from SCG. For each test specification, we follow a constraint solving system to generate test data.

Efficient Representation of Timed UML 2 Interactions

“…For model checking against the automaton-based specification format of UML 2 state machines, a representation of an interaction as an additional observer Büchi automaton is a closer fit [7]; also, the relation of interactions to safety and liveness properties can be expressed when using Büchi automata [4]. For testing, a representation as a structured composite graph makes the decision structure more transparent, which can be used to derive test data [10]. For studying the concurrency inherent in an interaction, the use of (prime) event structures, a denotational framework for true concurrency, [8] or lattices [5] turned out to be fruitful.…”

Test Case Generation for Real-Time System Software Using Specification Diagram

“…For security purposes, the employee should be provided a login ID and password. This system is the combination of input control, an S3C210 processor with embedded platform, communication network and output smart mobile [15]. The below Figure 9 shows the percentage of test cases based on node, event, and self-loop using the proposed approach.…”

“…If it is a car, the robot arm will automatically activate a gripper. If the object is a black of metal other than the car, the robot arm activates a motor that controls an iron rope [15]. UML sequence diagram among the objects in a client -server based RTS is shown in Figure. 6.…”

Automated Software Test Data Generation: Direction of Research

“…UML has got a great importance for software testing of object oriented programs. Different UML diagrams are used for different types of testing [50,14,49]. Mutation testing is used to improve reliability of object oriented software [54].…”