A Technique for Verifying Component-Based Software | Zendy

Leonardo Mariani | Zendy; Mauro Pezzè | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Technique for Verifying Component-Based Software

Author(s) -

Leonardo Mariani,

Mauro Pezzè

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.089

Subject(s) - computer science , reuse , component (thermodynamics) , component based software engineering , software system , software , event (particle physics) , field (mathematics) , software construction , software verification , software engineering , programming language , distributed computing , engineering , physics , thermodynamics , mathematics , quantum mechanics , pure mathematics , waste management

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research