摘要

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.