{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Mariani-BCT-TISD-2003 - Behavior Capture and Test for...

Info icon This preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems Leonardo Mariani Dipartimento di Informatica, Sistemistica e Comunicazione Universit`a degli Studi di Milano Bicocca via Bicocca degli Arcimboldi, 8 20126 Milano, Italy [email protected] Mauro Pezz`e Dipartimento di Informatica, Sistemistica e Comunicazione Universit`a degli Studi di Milano Bicocca via Bicocca degli Arcimboldi, 8 20126 Milano, Italy [email protected] 1. INTRODUCTION Complex software systems are seldom designed from scratch; rather they are often designed by assembling basic compo- nents. Software tools are not an exception: They are of- ten obtained by assembling simple tools that provide basic functionality. From the verification viewpoint, basic tools do not differ from components: in both cases they can be seen as black box elements that provide a set of services for the embedding system or tool. Complex systems and tools are often provided in many different versions and configu- rations that are obtained by adding and replacing various components. Let us consider for example a complex CASE tool that runs on several platforms and is distributed in var- ious versions for different user profiles. Many graphics and system components may be used for distinct platforms. For instance, the simple configurations distributed free-of-charge may include only a simple set of basic tools, while the ed- ucational and the professional editions may include a wider set of basic tools that provide extended functionality. Un- fortunately, behavioral differences among components may cause subtile failures difficult to reveal and remove. On of the main goals of verification is to check the completeness and compatibility of the services provided by the compo- nents to reveal possible conflicts, thus supporting efficient verification of different tool configurations and versions. The use of components in running systems produces a lot of useful information about the components’ behavior that could be used to check for the compatibility between differ- ent components and between components and embedding systems. Unfortunately this information is normally lost. This paper proposes a new technique, called Behavior Cap- ture and Test (BCT) , that takes advantage of this informa- tion. We first monitor the system execution and capture the essential characteristics of the behavior by means of au- tomatic probes. We then use the collected information to verify the compatibility of the components when used as part of other systems. In this way, we can automatically reveal incongruences of components that either replace ex- isting ones or are added to existing systems to extend their functionality. The technique proposed in this paper is based on the con- struction of behavioral invariants that represent the interac- tion of the component with the system. A replacing compo- nent must satisfy the same invariants of the replaced com- ponent, while a new component must be compatible with the invariants that characterize the embedding system.
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern