Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures

The purpose of this paper is to present a novel methodology for assessing the quality of architecture solutions of hw/sw systems, with particular emphasis on testability. Criteria and metrics for quality assessment are proposed and used to assist the design team in selecting a ‘best-fitted’ architecture that satisfies not only functional requirements, but also test requirements. The methodology makes use of object-oriented modeling techniques. Near-optimum clustering of methods and attributes into objects is carried out, in such a way that objects with moderate complexity, low coupling and high functional autonomy, result. The main features of the methodology are ascertained through a case study.

[1]  Ramaswami Dandapani,et al.  Coverage metrics for functional tests , 1994, Proceedings of IEEE VLSI Test Symposium.

[2]  Wayne Wolf,et al.  Hardware-software co-design of embedded systems , 1994, Proc. IEEE.

[3]  Christos A. Papachristou,et al.  Test synthesis in the behavioral domain , 1995, Proceedings of 1995 IEEE International Test Conference (ITC).

[4]  Shari Lawrence Pfleeger,et al.  Software Quality: The Elusive Target , 1996, IEEE Softw..

[5]  João Paulo Teixeira,et al.  HW/SW specification using OOM techniques , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

[6]  Sydney Abbey,et al.  What is A “Method”? , 1991 .

[7]  Sara Baase,et al.  Computer algorithms - introduction to design and analysis (2 ed.) , 1988 .

[8]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[9]  Rajesh Gupta,et al.  Hardware Software Co-Design of Embedded Systems , 1996, VLSI Design.

[10]  Janak H. Patel,et al.  Addressing design for testability at the architectural level , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[11]  Jacob A. Abraham,et al.  An easily computed functional level testability measure , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

[12]  Marc F. Witteman,et al.  Design for Testability in Hardware-Software Systems , 1996, IEEE Des. Test Comput..

[13]  Yves Le Traon,et al.  From hardware to software testability , 1995, Proceedings of 1995 IEEE International Test Conference (ITC).

[14]  L. H. Goldstein,et al.  Controllability/observability analysis of digital circuits , 1978 .

[15]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[16]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[17]  Alex Orailoglu,et al.  Testability metrics for synthesis of self-testable designs and effective test plans , 1995, Proceedings 13th IEEE VLSI Test Symposium.

[18]  Abdennour El Rhalibi,et al.  A new high level testability measure: description and evaluation , 1994, Proceedings of IEEE VLSI Test Symposium.

[19]  Gaetano Borriello,et al.  The Chinook hardware/software co-synthesis system , 1995 .

[20]  Daniel G. Saab,et al.  A novel behavioral testability measure , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[21]  Bruce Hendrickson,et al.  The Chaco user`s guide. Version 1.0 , 1993 .

[22]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[23]  Giovanni De Micheli,et al.  Program implementation schemes for hardware-software systems , 1994, Computer.

[24]  Krzysztof Kuchcinski,et al.  Testability analysis and improvement from VHDL behavioral specifications , 1994, EURO-DAC '94.

[25]  Alan Gillies,et al.  Software Quality , 1993 .

[26]  Luciano Lavagno,et al.  Embedded System Codesign: Synthesis and Verification , 1995 .