The Journal of the Institute of Internet, Broadcasting and Communication (한국인터넷방송통신학회논문지)

The Institute of Internet, Broadcasting and Communication (한국인터넷방송통신학회)
권호 표지
DOI QR코드

DOI QR Code

Automated Test Data Generation based on Executable Object Codes

실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성

  • Received : 2012.01.02
  • Accepted : 2012.04.13
  • Published : 2012.04.30
Download PDF
⟨ Previous Next ⟩

Abstract

It is usual for test data generation to be performed using either high-level specifications or source codes written in high-level programming languages. In certain circumstances, however, such information is not always available. This paper presents a technique that generates test data based on executable object codes. The proposed technique makes use of a very simple function minimization technique without sophisticated object code analysis and produces test data dynamically. We have conducted a simple experiment to evaluate the effectiveness of the proposed test data generation technique with a triangle classification program to show that branch coverage can be easily achieved.

고수준의 명세나 고수준의 프로그래밍 언어로 작성된 원시 코드를 이용하여 테스트 데이터를 생성하는 것이 일반적이다. 그러나 어떤 상황에서는 이러한 테스트 데이터 생성 정보가 항상 이용가능하지 않을 수 있다. 이 논문에서는 실행가능 목적코드를 바탕으로 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 정교한 목적 코드 분석을 필요로 하지 않은 매우 간단한 함수 최소화 기법을 사용하여 동적으로 테스트 데이터를 생성한다. 삼각형 분류 프로그램에 대한 실험을 통하여 분기 커버리지를 매우 효과적으로 달성함을 보인다.

Keywords

References

  1. J. Edvardsson, "A Survey on Automatic Test Data Generation", Proceedings of the Second Conf. on Computer Science and Engineering, pp. 21-28, 1999.
  2. P. McMinn, P, "Search-based Software Test Data Generation: A Survey", Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004. https://doi.org/10.1002/stvr.294
  3. P. Godefroid, N. Klarlund, K. Sen, "DART: Directed automated random testing", Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, pp. 213-223, 2005.
  4. J. Burnim, K. Sen, "Heuristics for dynamic test generation", Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering , pp. 443-446, 2008.
  5. S. Bardin, P. Herrmann, OSMOSE: automatic structural testing of executables", Software Testing, Verification and Reliability, vol. 21, pp. 29-54, 2011. https://doi.org/10.1002/stvr.423
  6. L. A. Clarke, "A System to Generate Test Data and Symbolically Execute Program", IEEE Trans. on Software Eng. vol. 2. no. 3. pp. 215-222, 1976. https://doi.org/10.1109/TSE.1976.233817
  7. B. Korel, "Automated Software Test Data Generation", IEEE Trans. onSoftware Eng, vol. 16. no. 8. pp. 870-879, 1990. https://doi.org/10.1109/32.57624
  8. M. J. Gallagher, M. J., V. L. Narasimhan. "ADTEST: A Test Data Generation Suite for Ada Software Systems", IEEE Trans. on Software Eng, vol. 23. no. 8. pp. 473-484, 1997. https://doi.org/10.1109/32.624304
  9. A. Gotlieb, B. Botella,and M. Rueher, "Automatic Test Data Generation using Constraint Solving Techniques", Proceedings of ACM ISSTA, pp. 53-62, 1998.
  10. A. Gotlieb, T. Denmat, and B. Botella, "Goal-oriented Test Data Generation for Pointer Programs", Information and Software Technology, Vol. 49, Issues 9-10, pp. 1030-1044, 2007. https://doi.org/10.1016/j.infsof.2006.10.016
  11. http://code.google.com/p/pyemu/
  12. http://www.idabook.com/

Cited by

  1. Automated Test Data Generation Based on Branch Coverage for Testing C Programs vol.12, pp.11, 2012, https://doi.org/10.5392/JKCA.2012.12.11.039