Output details
11 - Computer Science and Informatics
Birmingham City University
Robustness testing for software components
<09> This work is part of the effort in relating formal techniques to software engineering practice in development of the formal method of Refinement of Component and Object systems (rCOS). It addresses the issue of how to test a component in building an application when its source code is not available. It The formal characterization of the notions of fitness, correctness and robustness of a component are important in component-based software development. Experiments on a number of components, including an open source component, show the advantages over existing approaches. The work is cited in papers from China, India, Canada and several countries in Europe.