Testability analysis applied to embedded data-flow software

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 351-358

  Nguyen, Thanh Binh ^a   Delaunay, Michel ^a   Robach, C ^a  

^a INP Grenoble ESISAR   (France)

Author keywords

Data flow Software; Software Measurement; Testability Analysis

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER; SOFTWARE ENGINEERING;

DATA-FLOW DESIGN; DATA-FLOW SOFTWARE; QUALITY FACTORS; SOFTWARE DEPENDABILITY; SOFTWARE MEASUREMENT; SOFTWARE PARTS; STATIC SINGLE ASSIGNMENTS; TESTABILITY ANALYSIS;

SOFTWARE TESTING;

EID: 84945174665     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319121     Document Type: Conference Paper

References (15)

1. P. Briggs, T. Harvey, and T. Simpson. Static single assignment construction. Technical report, May 1995.
2. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wergman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transaction on Programming Languages and Systems, 13(4), Oct. 1991.
3. R. S. Freedman. Testability of software components. IEEE Transactions on Software Engineering, 17(6):553-564, June 1991.
4. S. Jungmayr. In Proceedings of 12th International Workshop on Software Measurement, Magdeburg, Gemany, 2002.
5. K. Karoui and R. Dssouli. Specification transformations and design for testability. In Proceedings of IEEE Global Telecomminucations Conference GLOBECOM'96, pages 680-685, London, England.
6. Y. Le Traon and C. Robach. Towards a unified approach to the testability of co-design system. In Proceedings of IEEE International Symposium on Software Reliability Engineering, pages 278-285, Toulouse, France.
7. Y. Le Traon and C. Robach. Testability measurements for data flow design. In Proceedings of the Fourth International Software Metrics Symposium, Albuquerque, New Mexico, Nov. 1997.
8. T. J. McCabe. A complexity measure. IEEE Transactions On Software Engineering, SE-2(4):308-320, Dec. 1976.
9. B. A. Nejmeh. Npath: A complexity measure of execution path complexity and its applications. Communications of the ACM, 31(2):188-200, Feb. 1988.
10. T. Nguyen, M. Delaunay, and C. Robach. Testability analysis for software components. In Proceedings of the International Conference on Software Maintenance, pages 422-429, Montreál, Canada, October 2002.
11. Petrenko, R. Dssouli, and H. Koenig. On evaluation of testability of protocol structures. In Proceedings of the IntenationalWorkshop on Protocol Test Systems (IFIP), pages 111-123, Pau, France, 1993.
12. C. Robach and S. Guibert. Information based testability measures. In Proceedings of Silicon Design Conference, pages 429-438, Wembley, G.B., 1986.
13. C. Robach and S. Guibert. Testability measures: a review. International Journal of Computer Systems Science and Engineering, 3:117-126, 1988.
14. J. M. Voas and K. W. Miller. Semantic metrics for software testability. Journal of Systems and Software, 20(3):207-216, Mar. 1993.
15. J. M. Voas and K. W. Miller. Software testability: The new verification. IEEE Software, 12(3):17-28, May 1995.