A Software Integration Testing Architecture Based on Contract


Article Preview

Under the guidance of DBC theory, a new architecture, called Integration Testing Architecture for Contract-Based System (ITACBS) is proposed in this paper. The ITACBS fully considers the characteristics of the component software, using the component interface of the contract document to describe the behavior of the system components.The aim of the ITACBS is to found the error between the components and the paste code and to achieve Integration Testing by monitoring and inspection contract. Compared with traditional method for packaging component,the method which used the ITACBS overcomes the non–state tracking of components caused by the unknown source.Test results show that the component wrapper can provide better testbility than other methods.



Key Engineering Materials (Volumes 474-476)

Edited by:

Garry Zhu






S. P. Yu and W. W. Mao, "A Software Integration Testing Architecture Based on Contract", Key Engineering Materials, Vols. 474-476, pp. 693-698, 2011

Online since:

April 2011




[1] G. Pour, Component-Based software Development Approach: New Opportunities and Challenges[C]. In: Proc of Technology of Object-Oriented Languages(1998), p.375~38.

[2] B. Meyer: Object-oriented software construction[M]. Prentice Hall(1997).

[3] Wayne Liu, P Dasiewicz, Formal Test Requirements for Component Interactions. In: Proc IEEE Canadian Conference on Electrical and Computer Engineering(1999), p.295~299.

DOI: 10.1109/ccece.1999.807212

[4] S. Beydeda, V. Gruhn, An Integrated Testing Technique for Component-Based Software[C]. In: Proc 2001 ACS/IEEE Iternational Conference on Computer Systems and Applications(2001), p.328~334.

DOI: 10.1109/aiccsa.2001.934006

[5] G.A. Bundell, G. Lee, John Morries, A Software Component Verification Tool[C]. In: Proc Iternational Conference on Software Methods and Tools(2000), p.137~146.

[6] Edwards S H, A Framework for Practical, Automated Black-Box Testing of Component-Based Software. In: Software Testing, Verification and Reliability11(2) (2001) , p.97~111.

DOI: 10.1002/stvr.224

[7] Yoon H, Choi B, An Effective Testing Technique for Component Composition in EJBs. In: Proceedings of the 8th Asia and Pacific Software Engineering Conference, Macau (2001) , p.229~236.

DOI: 10.1109/apsec.2001.991481

In order to see related information, you need to Login.