Advanced SearchSearch Tips
Modeling Pairwise Test Generation from Cause-Effect Graphs as a Boolean Satisfiability Problem
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
  • Journal title : International Journal of Contents
  • Volume 10, Issue 3,  2014, pp.41-46
  • Publisher : The Korea Contents Association
  • DOI : 10.5392/IJoC.2014.10.3.041
 Title & Authors
Modeling Pairwise Test Generation from Cause-Effect Graphs as a Boolean Satisfiability Problem
Chung, Insang;
  PDF(new window)
A cause-effect graph considers only the desired external behavior of a system by identifying input-output parameter relationships in the specification. When testing a software system with cause-effect graphs, it is important to derive a moderate number of tests while avoiding loss in fault detection ability. Pairwise testing is known to be effective in determining errors while considering only a small portion of the input space. In this paper, we present a new testing technique that generates pairwise tests from a cause-effect graph. We use a Boolean Satisbiability (SAT) solver to generate pairwise tests from a cause-effect graph. The Alloy language is used for encoding the cause-effect graphs and its SAT solver is applied to generate the pairwise tests. Using a SAT solver allows us to effectively manage constraints over the input parameters and facilitates the generation of pairwise tests, even in the situations where other techniques fail to satisfy full pairwise coverage.
Cause-Effect Graph;Pairwise Testing;Alloy;SAT problem;Requirements-based Testing;
 Cited by
G. J. Meyers, The Art of Software Testing, John Wiley & Sons, 1979.

C. Nie and H. Leung, "A survey of combinatorial testing," SCM Computing Surveys, vol. 43, no. 2, 2011.

J. Kim, K. Choi, D. M. Hoffman, and G. Jung, "White box pairwise test case generation," Proc. 7th International Conference on Quality Software, 2007, pp. 289-291.

G. Perrouin, S. Sen, J. Klein, J. B. Baudry, and Y. le Traon, "Automated and scalable t-wise test case generation strategies for software product lines," Proc. ICST2010, pp. 459-468.

D. Jackson, Software Abstractions, The MIT Press, 2006.

K. C. Tai and Yu Lei, "A test generation strategy for pairwise testing," IEEE Trans. on Software Engineering, vol. 28, no. 1, 2002, pp.109-111. crossref(new window)

D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, "The AETG system: an approach to testing based on combinatorial design," IEEE Trans. on Software Engineering, vol. 23, no. 7, 1997, pp. 437-444. crossref(new window)

Pedro Flores and Y. Cheon, "PWiseGen: generating test Cases for pairwise testing," Proc. the 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), 2011, pp. 747-752.

C. Lott, A. Jain, and S. Dalal, "Modeling requirements for combinatorial software testing," Proc. the 1st International Workshop on Advances in Model-based Testing, 2005, pp. 1-7.

M. Patil and P. J. Nikumbh, "Pair-wise testing using simulated annealing," Proc. 2nd International Conference on Computer, Communication, Control and Information Technology (C3IT-2012), Feb. 2012, pp. 25-26.

M. B. Cohen, M. B. Dwyer, and J. Shi. "Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach," IEEE Transactions on Software Engineering, vol. 34, no. 5, 2008, pp. 633-650. crossref(new window)

Julien Brunel, David Chemouil, Vincent Ibanez, and Nicolas Meledo, "Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy," Proc. $ERTS^2$ (Embedded Real Time Software and Systems), 2014.

J. Czerwonka, "PICT-Pairwise testing in the real world: practical extensions to test-case scenarios," Proc. the 24th Pacific Northwest Software Quality Conference, Oct. 2006, pp. 419-430.