Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"class Interfaces"”.
-
A Method for Systematically Generating Tests from Object-Oriented Class Interfaces
… tests from a matrix representation of a class interface based on the flow graph concept. In this process, separate matrices for all-DU-pairs and all-nodes guide the generation of the required tests. The primary goal of the research is not to optimize the number of tests generated but to …
-
Formal methods for reuse of design patterns and micro-architectures
… for improved productivity of quality software. Class reuse, micro-architecture reuse, and reuse of application frameworks are the three distinct levels of software reuse. This thesis examines the critical issues in providing support for different levels of reuse through formal specifications of …