Journal of KIISE:Computing Practices and Letters (한국정보과학회논문지:컴퓨팅의 실제 및 레터)

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

Test Data Generation Technique for Microprogram Verification

마이크로프로그램의 검증을 위한 테스트 데이터 생성기법

  • 박상현 (한국과학기술원 전산학과) ;
  • 김진석 (서울시립대학교 전산통계학과) ;
  • 은성배 (한남대학교 정보통신공학과) ;
  • 맹승렬 (한국과학기술원 전산학과) ;
  • 조정완 (한국과학기술원 전산학과)
  • Published : 1999.08.01

⟨ Previous Next ⟩

Abstract

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

Keywords

References

  1. 제조업 경쟁력 강화 사업 연차 연구 보고서(3차년도): PC Chip Set 개발 한국 과학 기술원
  2. Proc. of Symp. on Applied Math. v.19 Assigning Meaning to Programs R.Floyd
  3. CACM v.24 no.10 An Experiment in High Level Language Microprogramming and Verification D.A.Patterson
  4. Proc. of the 17th Ann.Workshop on Microprogramming Microcode Verification using SDVS-the Method and a Case (S) study B.Levy
  5. IEEE Trans. on Software Engineering v.SE-2 no.4 On the Automated Generation of Program Test Data C.Ramamoothy;S.Ho;W.Chen
  6. IEEE Trans. on Software Engineering v.SE-6 no.3 Experience with Path Analysis and Testing of Programs M.R.Woodward;D.Hedley;M.A.Hennell
  7. IEEE Trans. on Software Engineering v.SE-2 no.3 A System to Generate Test Data and Symbolically Execute Programs L.A.Clarke
  8. IEEE Trans. on Software Engineering v.SE-5 no.1 SMOTL - A System to Construct Samples for Date Processing Program Debugging J.Bicevskis;J.Borzovs;U.Straujums;A.Zarins;E.F.Miller
  9. Software-Practice and Experience v.8 An Evaluation of the Effectiveness of Symbolic Testing W.E.Howden
  10. 한국과학기술원 석사학위논문 기호수행 방법을 이용한 마이크로코드의 테스트 데이타 생성 시스템 박상현
  11. IEEE Trans. on Software Engineering v.SE-5 no.5 On Path Cover Problems in Digraphs and Applications to Program Testing S.C.Ntafos;S.L.Hakimi
  12. Eindhoven University of Technology 1p_solve Documentation and Release Notes M.Berkelaar