DOI QR코드

DOI QR Code

Test Assertion Language for Unit Test : Design and Implementation

단위 테스트를 위한 테스트 어서션 언어 설계 및 도구 구현

  • 신우창 (서경대학교 컴퓨터과학과)
  • Received : 2011.10.21
  • Accepted : 2011.12.12
  • Published : 2011.12.31

Abstract

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

Keywords

References

  1. An American National Standard/IEEE Standard for Software Unit Testing, ANSI/IEEE Std 1008-1987, 1986.
  2. IEEE Standard Glossary of Software Engineering Terms, IEEE Society Press, Addison-Wesley, 1989.
  3. Ilene Burnstein, Practical Software Testing, Springer-Verlag, 2003.
  4. Paul Hamill, Unit Test Frameworks, O'Reilly Media, 2003.
  5. ISO/IEC 24709-1 : 2007(E) Information technology-Conformance testing for the biometric application programming interface (Bio API)-Part 1 : Methods and procedures, ISO/IEC, 2007.
  6. ISO/IEC 24709-2 : 2007(E) Information technology-Conformance testing for the biometric application programming interface (Bio API)-Part 2 : Test assertions for biometric service providers, ISO/IEC, 2007.
  7. Tahchiev, P., F. Leme, V. Massol, and G. Gregory, JUnit in Action 2nd. Ed., Manning Publications Co., 2010.
  8. Nebut, C., F. Fleurey, Y. L. Traon, and J. M. Jezequel, "Automatic Test Generation : A Use Case Driven Approach", IEEE Transactions on Software Engineering, Vol.32, No.3(2006).