Use Case Slice:a Kind of Technology of the Separation of Concerns;

Using model checking to generate test cases for class testing;

Test case model of embedded software based on DARTS;

Integration test case generating method based on UML;

Embedded software test cases generation method based on scenario technique;

A test cases generation method for UML 2.0 communication diagram;

For specific software,long time testing and reliability evaluation should be done by using the test cases which are established through whole task profile,so as to display the increasing process of the software reliability.

Research and Implementation of Testcase in System of Testing Management

Furthermore,the input method has been tested using automatic testcase generation approach.

The innovation of this paper is adequately comprehending the teset concepts: testCase、testCluster and testSuit, and make use of these concepts realizing the automation testCases’management, and inject the data driven into scripts’programming method that separates the test data and test script, and layered structure makes automating test improve the test scripts’utilization and Maintenance.

Automated testing case generator algorithm based on formal methods;

This paper presents a new method of creating testing cases for objected-oriented software-cluster-level testing based on the UML sequence diagram.

Then it demonstrates how to use them to design testing case from different point of view in dynamic software testing, so that more errors or bugs can be found with less testing case.