Automatic integration testing through collaboration diagram and logic contracts

Abstract

Component-based software development can effectively increase software development efficiency through component reuse. Integration testing is an important technical means to guarantee the quality of software systems composed of components. Aiming at the problem that the scale of software systems is getting larger and larger, and manual design of test cases is costly and difficult, we propose an automatic approach for integration test cases generation based on collaboration diagram and logic contracts. By extracting control flow information from collaboration diagram and combining with contracts as component specification, an intermediate model called execution tree of components is established, then test cases are automatically generated through contract solving technology. This approach not only realizes path coverage, but also completes the automatic integration testing of software system, thereby improving test efficiency and reducing test cost.