Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
On testable object-oriented programming
ACM SIGSOFT Software Engineering Notes
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Component-based product line engineering with UML
Component-based product line engineering with UML
Reliable Objects: Lightweight Testing for OO Languages
IEEE Software
A Method for Built-in Tests in Component-based Software Maintenance
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
An introduction to the testing and test control notation (TTCN-3)
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
The UML 2.0 testing profile and its relation to TTCN-3
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Realizing distributed TTCN-3 test systems with TCI
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Formal methods and testing
| Hi-index | 0.00 |
Assembling new software systems from prefabricated components as an attractive alternative to traditional software development practices is more and more investigated. Component technologies like CCM. Net or EJB are accompanied by model-based approaches like MDA. However, still the emphasis is rather on system design and development and not on system validation and testing. The expected reductions in development time and effort will only arise if separately developed components can be made to work effectively together with minimal effort. Lengthy and costly in-situ verification and acceptance testing directly undermines the benefits of heterogeneous components and late system integration. This paper extends contract-based built-in tests where components are equipped with the ability to check their execution environment at run-time with approaches to derive built-in tests from system models, represent them on model level, and to generate executable tests from these test models. This model-based approach increases the automation level in generating and realizing built-in tests and therefore also increases the quality of and reduces needed resources for developing built-in tests.