An Automated Test Case Generation Approach based on Activity Diagrams of SysML

Abstract

Model based software testing is one of the most popular software quality assurance techniques adopted by industrial practitioners. The SysML Activity Diagram (AD) can describe dynamic behaviors of a software system under testing in an intuitive way. That is, the AD is a promising foundation for generating test case to test the target software system. Unfortunately, there are few effective AD based testing approaches for industrial practitioners due to the lack of automated generation technique and powerful tool support, especially for whose shape is out of structure. To tackle this problem, we propose an automated generation approach with a supporting tool. For a specific AD, we first transform it into an intermediate representation form-Intermediate Black box Model (IBM). Then the IBM is used to generate test cases automatically. The approach presented in this paper can make up the deficiency of automated test case generation with the unstructured SysML AD.

Performance Analysis of Test Path Generation Techniques Based on Complex Activity Diagrams

“…The process being modelled For a concurrent structure in the UML activity diagram [6,13], the most common form is classified into four forms as shown in Figure 1. First, the simple fork-join in Figure 1(a) is a pair of fork node and join node and all activity between a fork and join symbol.…”

“…We describe a relevant set of eight methods that use graphs to generate test paths. The Intermediate Black Box Model [6] is a method that generates test paths from unstructured activity diagrams. The unstructured module is including the loop structure and fork-join structure.…”

“…The test path generation techniques from UML activity diagram usually depend on graph or tree theory: the test path generation techniques based on tree structure, such as the Dependent Flow Tree [3], the Fault Success Tree Analysis [4], and the Activity Tree [5]; the test path generation techniques based on graph structure, such as the Intermediate Black Box Model [6], the Activity Graph [7], the Activity Flow Table [8], the Activity Convert Grammar [9], the Activity Flow Graph [10], the Test Case Generation Based on Activity Diagram [11], the Activity Dependency Graph [12], and the Intermediate Testable Model [13]. In addition, the test path generation from UML activity diagram can be used the heuristic algorithm e.g., ant colony [14].…”

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

“…In this phase, two problems should be solved, which are basic module test path generation and black box test path generation. Details of automated test paths generation algorithm and implementation of unstructured SysML Activity Diagram has been developed in our previous work [30]. • skip the entire loop • go through the loop once • go through the loop twice • go through the loop m times • go through the loop n-1, n, n + 1 times For nested loop, if a simple loop test method is to be used for nested loops, the number of possible tests increases as the number of nesting layers increases.…”

TBFV-M: Testing Based Formal Verification for Sysml Activity Diagrams

“…In this phase, two problems should be solved, which are basic module test path generation and black box test path generation. Details of automated test paths generation algorithm and implementation of unstructured SysML Activity Diagram has been developed in our previous work [30].…”