Catalog Home Page

A software component verification tool

Bundell, G.A., Lee, G., Morris, J., Parker, K. and Peng, L. (2000) A software component verification tool. In: International Conference on Software Methods and Tools(SMT 2000), 6 - 9 November 2000, Wollongong, NSW pp. 137-146.

Link to Published Version:
*Subscription may be required


Component based software engineering depends on reliable, robust components, since it may omit a unit test phase wholly or partially from the development cycle. The paper describes a tool that allows a component developer to design and run verification tests. In developing components for our library, we found it necessary to provide multiple mechanisms for identifying and capturing tests to overcome the limitations of any single mechanism. Once specified, test specifications and test results are stored in XML documents, providing a standard, portable form of storing, retrieving and updating test histories. One module of our component test bench, the test pattern verifier, has been designed to be general, lightweight and portable, so that it can be packaged with a component and its test specifications. This allows a component user to verify a component's compliance with specifications in a target environment

Publication Type: Conference Paper
Murdoch Affiliation: School of Engineering
Item Control Page Item Control Page