Earticle

초록

영어

Pairwise testing is known to be effective in finding errors while considering only a small fraction of input space. Recently, a new testing technique that generates pairwise tests from the cause-effect graph has been presented. This technique assumes the use of the Alloy analyzer to generate pairwise tests from the cause-effect graph. Since, however, the Alloy analyzer does not support APIs that build and manipulate the Alloy formulas, the task of test generation may be tedious and error-prone. In this paper, we introduce a tool named CEGPairGen that automates the process of generating pairwise tests from the cause-effect graph without any human intervention. CEGPairGen produces a test generator written in Java KodKod APIs that generates pairwise tests from a given cause-effect graph. KodKod has been designed to efficiently construct, manipulate, and solve constraints. CEGPairGen takes an incremental test generation strategy for situations where the number of pairs to be covered grows quickly. We show a case study where experimental assessment of tests produced by CEGPairGen has been carried out.

목차

Abstract
 1. Introduction
 2. Cause-Effect Graphs
 3. Pairwise Test Generation with CEGPairGen
  3.1. Alloy Formulation
  3.2. Problems in Alloy Formulation
  3.3. Pairwise Test Generation in KodKod
 4. A Case Study
 5. Concluding Remarks
 Acknowledgements
 References

키워드

저자

• Insang Chung [ Department of Computer Engineering, Hansung University, Seoul, Republic of Korea ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605