A technique for verifying component-based software

“A technique for verifying component-based software” by Leonardo Mariani and Mauro Pezzè. In TACoS: International Workshop on Test and Analysis of Component Based Systems, (Barcelona, Spain), Mar. 2004, pp. 17-30.

Abstract

Component-based software systems raise new problems for the testing community: the reuse of components suggests the possibility of reducing testing costs by reusing information about the quality of the software components. This paper addresses the problem of testing evolving software systems, i.e., systems obtained by modifying and/or substituting some of their components. The paper proposes a technique to automatically identify behavioral differences between different versions of the system, to deduce possible problems from inconsistent behaviors. The approach is based on the automatic distilling of invariants from in-field executions. The computed invariants are used to monitor the behavior of new components, and to reveal unexpected interactions. The event generated while monitoring system executions are presented to software engineers who can infer possible problems of the new versions.

BibTeX entry:

@inproceedings{MarianiP2004,
   author = {Leonardo Mariani and Mauro Pezz{\`e}},
   title = {A technique for verifying component-based software},
   booktitle = {TACoS: International Workshop on Test and Analysis of
	Component Based Systems},
   pages = {17--30},
   address = {Barcelona, Spain},
   month = mar,
   year = {2004}
}

Back to Publications whose methodology uses invariant detection.