Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Reusable software: the Base object-oriented component libraries
Reusable software: the Base object-oriented component libraries
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
| Hi-index | 0.00 |
The use of component libraries is pervasive in software development. Such libraries may be viewed as members of a domain. We investigate here the nature of a testable model to be defined during domain analysis and that enables the conformance testing of the members of this domain against the tests generated from this model. This model takes the form of generative hierarchical contracts comprised of static and dynamic tests.