Statecharts: A visual formalism for complex systems
Science of Computer Programming
ACM Computing Surveys (CSUR)
On built-in tests and reuse in object-oriented programming
ACM SIGSOFT Software Engineering Notes
Proceedings of the Conference on The Future of Software Engineering
Reliable Objects: Lightweight Testing for OO Languages
IEEE Software
On Building Testable Software Components
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
Hi-index | 0.00 |
COTS components trustworthiness is a key issue to be addressed within the field of component-based software engineering. This problem relies on the duality between development and deployment. COTS components vendors may prove varied properties for their components but purchasers may want to validate these properties in different execution environments. Built-In Test is thus the ability to endow components with extra functionality in order to develop in-situ tests. This paper stresses a Java library that supports Built-In Contract Testing. Complex component behaviors are ruled and observed based on states and reactivity to client requests. A large component consisting in a Programmable Thermostat illustrates the Built-In Contract Testing technology and the offered Java library.