Impact of system partitioning on test cost

IEEE Design and Test of Computers

Volumn 14, Issue 1, 1997, Pages 64-74

  Al Hayek, Ghassan ^a,b,c   Le Traon, Yves ^a,b,d   Robach, Chantal ^a,b,e,f  

^a LSR IMAG   (France)

^b GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

^c Higher Institute for Applied Sciences and Technology Syria   (Syrian Arab Republic)

^d LSR Laboratory   (France)

^e National Scientific Research Center

^f IEEE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AVIONICS; CALCULATIONS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; DATA TRANSFER; FLOWCHARTING; MATHEMATICAL MODELS; ROBOTICS;

AXIOMATIC MEASUREMENT; BIPARTITE DIRECTED GRAPH; CODESIGNED SYSTEM; COMPUTER AIDED SPECIFICATION; DATAFLOW SYSTEM; INFORMATION TRANSFER GRAPH; SYSTEM FUNCTIONALITY; SYSTEM PARTITIONING; SYSTEM TEST COST; SYSTEM TESTABILITY;

COMPUTER TESTING;

EID: 0030857751     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/54.573369     Document Type: Article

References (11)

1. D.E. Thomas, J.K. Adams, and H. Schmit, "A Model and Methodology for Hardware-Software Codesign," IEEE Design & Test of Computers, Vol. 10, No. 3, Sept. 1993, pp. 6-15.
2. A. Kalavade and E.A. Lee, "A Hardware-Software Codesign Methodology for DSP Applications," IEEE Design & Test of Computers, Vol. 10, No. 3, Sept. 1993, pp. 16-28.
3. C. Robach and S. Guibert, "Testability Measures: A Review," Int'l J. Computer Systems, Science and Eng., Vol. 3, 1988, pp. 117-126.
4. J.M. Voas and K.W. Miller, "Semantic Metrics for Software Testability," J. Systems Software, Vol. 20, 1993, pp. 207-216.
5. Y. Le Traon and C. Robach, "Towards a Unified Approach to the Testability of Co-Designed Systems," Proc. IEEE Int'l Symp. on Software Reliability Eng., IEEE CS Press, Los Alamitos, Calif., 1995, pp. 278-285.
6. D.T. Ross and K.E. Schoman, "Structured Analysis for Requirements Definition," IEEE Trans, on Software Eng., Vol. 3, 1977, pp. 6-15.
7. C. Robach and P. Wodey, "Linking Design and Test Tools: An Implementation," IEEE Trans. Industrial Electronics, Vol. 36, 1989, pp. 286-295.
8. Y. Le Traon and C. Robach, "From Hardware to Software Testability," Proc. IEEE Int'l Test Conf., IEEE CS Press, 1995, pp. 710-719.
9. R. DeMillo, R. Lipton, and F. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, Vol. 11, 1978, pp. 3441.
10. G. Al Hayek and C. Robach, "From Specification Validation to Hardware Testing: A Unified Method," Proc. Int'l Test Conf., IEEE CS Press, 1996, pp. 885-893.
11. N.E. Fenton and R.W. Whitty, "Axiomatic Approach to Software Metrication Through Program Decomposition," Computer J., Vol. 29, 1986, pp. 330-339.