CUVE: Effective Testing of Concurrent Program using Combinatorial Concurrent Coverage

CUVE (Combinatorial concUrrent coVerage based tEst generation) is a technique to generate more diverse test executions fast by utilizing the combinatorial concurrent coverage. 

Framework

CUVE generates test execution through the following three phases in order:

1. Estimation phase: CUVE estimates the feasible test requirements of the singular concurrent coverage by analyzing target program executions. 
2. Singular concurrent coverage based testing phase: CUVE generates test executions to cover the estimated test requirements of the singular concurrent coverage. A main reason for CUVE to target singular concurrent coverage initially is because targeting to cover the test requirements of the singular coverage can generate more diverse test executions compared to targeting the combinatorial coverage in the early period of the testing. If the singular coverage does not increase for 10 consecutive test executions , CUVE moves to the next phase to target the combinatorial coverage.
3. Combinatorial concurrent coverage based testing phase: CUVE generates test executions to achieve the combinatorial coverage requirements by combining the covered test requirements of the singular concurrent coverage in the previous phase.  Then, CUVE generates test executions to cover the test requirements of the combinatorial concurrent coverage except ones that were already covered in the previous phase.

Tool

CUVE is now under maintenance. If you know internal of CUVE, please send e-mail to hongshin@gmail.com.

Contact

Please contact Shin Hong (hongshin@gmail.com) if you have any question on CUVE.