On Introducing Built-In Test for Software Components in AADL Models - Université de Bretagne Occidentale Access content directly
Conference Papers Year : 2010

On Introducing Built-In Test for Software Components in AADL Models

Valérie-Anne Nicolas

Abstract

This paper presents preliminary ideas to include a kind of built-in self-test for systems embedded software components. The study promotes contract-based testing applied to AADL modeling of hardware/software systems. The aim is first to help evaluating the testability of software components embedded in such systems, and next to improve the integration step, especially in the context of COTS design and development. We introduce an architecture to include a generic test system inside an AADL model, and then test specifications to handle the testing process. The paper exposes the main ideas of the proposed approach and its modeling but no implementation work. Next stage is an implementation work to assess the feasibility and the benefits of the proposed approach.

Keywords

Fichier principal
Vignette du fichier
paper_nicolasEWDTS10.pdf (56.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00607247 , version 1 (08-07-2011)

Identifiers

  • HAL Id : hal-00607247 , version 1

Cite

Valérie-Anne Nicolas. On Introducing Built-In Test for Software Components in AADL Models. IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'10, Sep 2010, St. Petersburg, Russia. p.179. ⟨hal-00607247⟩
114 View
162 Download

Share

Gmail Facebook X LinkedIn More