Considering test economics in the process of hardware/software partitioning

In this paper, a test-based hardware/software partitioning approach for co-design specifications is presented. The testability of a hierarchical specified co-design system is discussed and an estimate is proposed to evaluate the system testing cost. It depends on the hardware/software testing cost values for each unit-level component. These values are provided by a mutation-test approach applied for testing both software and hardware unit-level implementations. Results have shown that this approach provides a new helpful partitioning criterion which can be used with other already known criteria. A real case study provided by Aerospatiale illustrates this testing cost oriented partitioning.

[1]  Edward A. Lee,et al.  A hardware-software codesign methodology for DSP applications , 1993, IEEE Design & Test of Computers.

[2]  Yves Le Traon,et al.  Towards a unified approach to the testability of co-designed systems , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

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

[4]  Chantal Robach,et al.  CATA: A Computer-Aided Test Analysis System , 1984, IEEE Design & Test of Computers.

[5]  Herman Schmit,et al.  A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..

[6]  C. Robach,et al.  Linking design and test tools: an implementation , 1989 .

[7]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[8]  R.K. Gupta,et al.  System-level synthesis using re-programmable components , 1992, [1992] Proceedings The European Conference on Design Automation.

[9]  Chantal Robach,et al.  On the adequacy of deriving hardware test data from the behavioral specification , 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.