Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
An approach for component testing and its empirical validation
Proceedings of the 2009 ACM symposium on Applied Computing
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Abstract: The main idea of component-based development is to use existing components for building software. The resulting software often has features which complicate testing, such a feature is, for example, the absence of component source code. This article proposes an approach for testing, which explicitly takes into account testing-relevant features of component-based software and thus allows more rigorous testing. The basic constituent of the approach is a graphical representation combining black- and white-box information from specification and implementation, respectively. This graphical representation can then be used for test case identification based on well-known structural techniques.