Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Test Data Selection Technique to Detect Interaction Faults in Embedded System

내장형 시스템의 상호작용 오류 감지를 위한 테스트 데이타 선정 기법

  • Published : 2003.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

As an Embedded system combining hardware and software gets more complicated, the importance of the embedded software test increases. Especially, it is mandatory to test the embedded software in the system which has high safety level. In embedded system, it is necessary to develop a test technique to detect faults in interaction between hardware and software. In this paper, we propose a test data selection technique using a fault injection technique for the faults in interaction between hardware and software in embedded system and we apply our technique to the Digital Plant Protection System and analyze effectiveness of the proposed technique through experiments.

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

Keywords

References

  1. E. A. Lee, What's Ahead for Embedded Software?, IEEE Computer, pp 18-26, September, 2000 https://doi.org/10.1109/2.868693
  2. E. A. Lee, 'Computing for embedded systems,' proceeding of IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May, 2001
  3. Mattias O'Nils and Axel Jantsch, 'Communication in Hardware/Software Embedded Systems-A Taxonomy and Problem Formulation,' in Proceeding of 15th NORCHIP Conference, November, 1997
  4. M.Hsueh, Fault Injection Techniques and Tools, Computer, Apr, 1997, pp75-82 https://doi.org/10.1109/2.585157
  5. J.F. Clark, Fault Injection, Computer, June, 1995, pp47-56
  6. Charlse R. Yount 91, A Methodology for the Rapid Injection of Transient Hardware Errors, IEEE Transactions on Computers, VOL. 45. No.8, Aug, 1996 https://doi.org/10.1109/12.536231
  7. Gwan S. Choi, Simulated Fault Injection : A Methodology to Evaluate Fault Tolerant Microprocessor Archtecture, IEEE Transactions on Reliability, VOL. 39, NO.4, Oct, 1990 https://doi.org/10.1109/24.58726
  8. Dimiter Avresky, Fault Injection for formal testing of fault tolerance, IEEE Transactions on Reliability, VOL. 45, NO.3, Sept, 1996 https://doi.org/10.1109/24.537015
  9. J.V. Carreira, Fault Injection spot-checks computer system dependability, IEEE Spectrum, Aug, 1999 https://doi.org/10.1109/6.780999
  10. J.V. Carreira, Xeption : A technique for the Experimental Evaluation of Dependability in modem computers, IEEE Transaction on Software Engineering. VOL 23, No.2, Feb, 1998 https://doi.org/10.1109/32.666826
  11. Johan Karsson, Using Heavy-ion Radiation to validate fault-handling mechanisms, IEEE micro, 1994, pp8-23 https://doi.org/10.1109/40.259894
  12. Marcello Dalpasso, Fault Simulation of parametric Bridging Faults in CMOS ICs, IEEE Transaction on computer aided design of integrated circuits and systems, vol 12. no. 9, Sept, 1993 https://doi.org/10.1109/43.240087
  13. Jean Alert 외, Validation Based Development of dependable systems, IEEE micro, Jul, 1999, pp 66-79 https://doi.org/10.1109/40.782569
  14. J. Voas, Certifying software for high assurance environments, IEEE Software, Jul/Aug, 1999, pp48-54 https://doi.org/10.1109/52.776948
  15. T. A. Delong, A Fault Injection Technique for VHDL Behavioral-Level Models, IEEE Design and Test of Computers, 1996, pp24-33 https://doi.org/10.1109/54.544533
  16. Paul C. Jorgensen, Software Testing - A Craftsman's Approach, CRC Press, 1995
  17. UCN 3&4 Final Safety Analysis Report, Volume 11, Korea Electric Power Corporations
  18. J.R. Horgan and S. London, 'ATAC : A data flow coverage testing tool for C,' in Proceedings of Symposium on Assessment of Quality Software Development Tools, pp2-10, New Orleans, LA, May, 1992 https://doi.org/10.1109/AQSDT.1992.205829
  19. M.R. Lyu, J.R. Horgan and S. London, 'A coverage analysis tool for the effectiveness of software testing,' in Proceeding of International Symposium on Software Reliability Engineering, 1993 https://doi.org/10.1109/ISSRE.1993.624271
  20. Li, N., Malaiya, Y. K., Denton J, 'Estimating the Number of Defects: A Simple and Intuitive Approach,' in Proceeding of 7th International Symposium on Software Reliability Engineering, 1998
  21. Burr, Kevin and Young, William, 'Combinatorial Test Techniques: Table-Based Automation, Test Generation, and Test Coverage,' in Proceeding of International Conference on Software Testing, Analysis, and Review. San Diego, CA, October, 1998
  22. Richard A. DeMillo, Richard J. Lipton, and Frederick G. Sayward, Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978 https://doi.org/10.1109/C-M.1978.218136
  23. M. E. Delamaro, J. C. Maldonado, and A. P. Mathur., 'Integration Testing Using Interface Mutation,' In Proceedings of International Symposium on Software Reliability Engineering (ISSRE '96), pages 112--121, April 1996 https://doi.org/10.1109/ISSRE.1996.558719