Share and Export
Share and Export
Cheng, Zheng, Monahan, Rosemary and Power, James F. (2012) A Simple Complexity Measurement for Software Verification and Software Testing. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 28-331. ISSN 1613-0073
![[thumbnail of RM_Simplex.pdf]](https://mural.maynoothuniversity.ie/style/images/fileicons/application_pdf.png "RM_Simplex.pdf")
PDF
RM_Simplex.pdf
Download (176kB)
Abstract
In this paper, we used a simple metric (i.e. Lines of Code)
to measure the complexity involved in software verification and software
testing. The goal is then, to argue for software verification over software
testing, and motivate a discussion of how to reduce the complexity involved
in software verification. We propose to reduce this complexity by
translating the software to a simple intermediate representation which
can be verified using an efficient verifier, such as Boogie [2].
| Item Type: | Article |
|---|---|
| Keywords: | Intermediate Verification Language; Software Testing; Software Verification; Metrics; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 3892 |
| Depositing User: | Rosemary Monahan |
| Date Deposited: | 24 Sep 2012 15:31 |
| Journal or Publication Title: | Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems |
| Publisher: | CEUR |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/3892 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
