Communications of the ACM 53 (4): 113-118 (2010) |
Pak-Lok Poon 2 , Sau-Fun Tang 3 , T.H. Tse 4 , and T.Y. Chen 3
ABSTRACT |
Software testing based on informal specifications has remained popular.
We present a CHOiCe reLATion framEwork (CHOC'LATE).
It allows testers to systematically re-enact an unstructured informal
specification in a more formal representation -- choice relation
table -- from which a test suite can be generated automatically.
Unlike formal specifications, the choice relation table is easy to
understand by software developers with little training.
Furthermore, CHOC'LATE incorporates mechanisms for consistency
checking, automatic deductions, and prioritization of choices for
test suite generation.
Because of these merits, we believe that CHOC'LATE will have a significant
contribution to software quality assurance in the industry.
|
|
EVERY VISITOR COUNTS: |