Conference Publication Details
Mandatory Fields
Cheng Z.;Monahan R.;Power J.
CEUR Workshop Proceedings
A simple complexity measurement for software verification and software testing - Discussion paper
2012
December
Published
1
()
Optional Fields
Intermediate verification language Metrics Software testing Software verification
28
31
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].
Grant Details