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...
| Publicado en: | Communications of the ACM Vol. 53; no. 4; pp. 113 - 119 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=49090000&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 49090000 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2010 vid: 53 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 49090000 10.1145/1721654.1721687 ppf: 113 ppct: 6 formats: tig: atl: CHOC'LATE: A Framework for Specificationbased Testing. aug: au: PAK-LOK POON SAU-FUN TANG TSE, T. H. CHEN, T. Y. affil: Associate professor, School of Accounting and Finance, Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong. Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia. Professor, Department of Computer Science, University of Hong Kong, Pokfulam, Hong Kong. Chair professor of software engineering, Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia. su: Computer software quality control Testing Technical specifications Standards Specification writing Computer science sug: subj: Computer software quality control Testing Technical specifications Standards Specification writing Computer science ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|