Highly-reconfigurable component-based systems, i.e., systems that are built form existing components and are distributed in many versions and configurations, are becoming increasingly popular. The design and verification of such systems presents new challenges. In this paper we propose a design approach that facilitates analysis and testing of different configurations by identifying and tracking relations among requirements, logic components and resources. The approach proposed in the paper allows for easily identifying different dependencies among resources, components and requirements and thus spotting the tests that must be re-executed to assure the desired level of quality. © 2003 Published by Elsevier Science B.V.

Baldini, A., Prinetto, P., Denaro, G., Pezze', M. (2003). Design for testability for highly reconfigurable component-based systems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 82(6), 199-208 [10.1016/S1571-0661(04)81038-7].

Design for testability for highly reconfigurable component-based systems

DENARO, GIOVANNI;PEZZE', MAURO
2003

Abstract

Highly-reconfigurable component-based systems, i.e., systems that are built form existing components and are distributed in many versions and configurations, are becoming increasingly popular. The design and verification of such systems presents new challenges. In this paper we propose a design approach that facilitates analysis and testing of different configurations by identifying and tracking relations among requirements, logic components and resources. The approach proposed in the paper allows for easily identifying different dependencies among resources, components and requirements and thus spotting the tests that must be re-executed to assure the desired level of quality. © 2003 Published by Elsevier Science B.V.
Articolo in rivista - Articolo scientifico
design for testability
English
199
208
10
Baldini, A., Prinetto, P., Denaro, G., Pezze', M. (2003). Design for testability for highly reconfigurable component-based systems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 82(6), 199-208 [10.1016/S1571-0661(04)81038-7].
Baldini, A; Prinetto, P; Denaro, G; Pezze', M
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/16230
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
Social impact