On Introducing Built-In Test for Software Components in AADL Models - Université de Bretagne Occidentale Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Valérie-Anne Nicolas

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
paper_nicolasEWDTS10.pdf (56.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00607247 , version 1

Citer

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 Consultations
162 Téléchargements

Partager

Gmail Facebook X LinkedIn More