Change search
ReferencesLink to record
Permanent link

Direct link
Verifying Framework-Based Applications by Establishing Conformance
Blekinge Institute of Technology, Department of Telecommunications and Mathematics.
1996 (English)Report (Refereed)
Abstract [en]

The use of object-oriented frameworks is one way to increase productivity by reusing both design and code. In this paper, a framework-based application is viewed as composed by a framework part and an increment. It is difficult to relate the intended behaviour of the final application to specific increment requirements, it is therefore difficult to test the increment using traditional testing methods. Instead, the notion of increment conformance is proposed, meaning that the increment is designed conformant to the intentions of the framework designers. This intention is specified as a set of composability constraints defined as an essential part of the framework documentation. Increment conformance is established by verifying the composability constraints by means of code and design inspection. Conformance of the increment is a necessary but not sufficient condition for correct behaviour of the final application.

Place, publisher, year, edition, pages
Blekinge Tekniska Högskola Forskningsrapport, ISSN 1103-1581 ; 18
National Category
Software Engineering
URN: urn:nbn:se:bth-00031Local ID: diva2:833700
Available from: 2015-06-25 Created: 2000-03-15 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(37 kB)18 downloads
File information
File name FULLTEXT01.pdfFile size 37 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Telecommunications and Mathematics
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 18 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link