Automated Support for Diagnosis and Repair.
The article discusses the use of model checking and artificial intelligence in diagnosing and repairing problems in the software development cycle. The authors describe a four-step framework for a basic train-controller system that includes model checking, elicitation by the software engineer of sys...
| Publicado en: | Communications of the ACM Vol. 58; no. 2; pp. 65 - 73 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The article discusses the use of model checking and artificial intelligence in diagnosing and repairing problems in the software development cycle. The authors describe a four-step framework for a basic train-controller system that includes model checking, elicitation by the software engineer of system states that address inconsistencies in counterexamples produced by the model checking, repair of defective states by logic-based learning, and implementation of a selection mechanism to choose among alternative approaches to the same repair task. |
|---|