Imagen de Portada
Código QR

CHOC'LATE: A Framework for Specificationbased Testing.

The article discusses software testing based on informal specifications. The authors present a Choice Relation Framework (CHOC'LATE) which allows testers to reenact an unstructured informal specification in a more formal choice relation table from which a test suite, which is the set of test cases u...

Descripción completa

Publicado en:Communications of the ACM Vol. 53; no. 4; pp. 113 - 119
Autores principales: PAK-LOK POON, SAU-FUN TANG, TSE, T. H., CHEN, T. Y.
Formato: Artículo
Publicado: Association for Computing Machinery Apr2010
Materias:
Computer software quality control
Testing
Technical specifications
Standards
Specification writing
Computer science
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article discusses software testing based on informal specifications. The authors present a Choice Relation Framework (CHOC'LATE) which allows testers to reenact an unstructured informal specification in a more formal choice relation table from which a test suite, which is the set of test cases used, can be generated automatically. The difference between informal and formal specifications as it applies to generating a test suite is explored. The consistency checking, automatic deductions, and choice prioritization of CHOC'LATE are discussed.