PROGRAMS THAT TEST THEMSELVES.
The article discusses the AutoTest framework in software design. The entry notes that AutoTest is composed of tools that automate the testing process by using programs that contain verification instruments including Test Generation, Test Extraction, and Integration of Manual Tests. The section cites...
| Published in: | Computer (00189162) Vol. 42; no. 9; pp. 46 - 56 |
|---|---|
| Main Authors: | , , , , , |
| Format: | Article |
| Published: |
IEEE
Sep2009
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=44299243&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 44299243 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Sep2009 vid: 42 iid: 9 pid: 13605 pub: IEEE artinfo: ui: 44299243 10.1109/MC.2009.296 ppf: 46 ppct: 10 formats: tig: atl: PROGRAMS THAT TEST THEMSELVES. aug: au: Meyer, Bertrand Fiva, Arno Ciupa, Ilinca Leitner, Andreas Yi Wei Stapf, Emmanuel affil: ETH Zurich Eiffel Software su: Software architecture Computer software testing Automation Computer system failures Debugging sug: subj: Software architecture Computer software testing Automation Computer system failures Debugging ab: The article discusses the AutoTest framework in software design. The entry notes that AutoTest is composed of tools that automate the testing process by using programs that contain verification instruments including Test Generation, Test Extraction, and Integration of Manual Tests. The section cites that the main focus of testing is to try to make a program fail and to be able to manage information about its failures. In relation to this, AutoTest innovates from traditional automation in the areas of test case generation, oracles and minimization. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|