Conference paper
A software component verification tool
Proceedings International Conference on Software Methods and Tools. SMT 2000, pp.137-146
International Conference on Software Methods and Tools(SMT 2000) (Wollongong, NSW, 06/11/2000–09/11/2000)
2000
Abstract
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
Details
- Title
- A software component verification tool
- Authors/Creators
- G.A. Bundell (Author/Creator) - The University of Western AustraliaG. Lee (Author/Creator) - Software (Germany)J. Morris (Author/Creator) - Department of Physics, Mathematics and InformaticsK. Parker (Author/Creator) - Australian Research Centre for Medical EngineeringL. Peng (Author/Creator)
- Publication Details
- Proceedings International Conference on Software Methods and Tools. SMT 2000, pp.137-146
- Conference
- International Conference on Software Methods and Tools(SMT 2000) (Wollongong, NSW, 06/11/2000–09/11/2000)
- Identifiers
- 991005541061307891
- Murdoch Affiliation
- School of Engineering
- Language
- English
- Resource Type
- Conference paper
Metrics
77 Record Views