MURAL - Maynooth University Research Archive Library



    A Simple Complexity Measurement for Software Verification and Software Testing


    Cheng, Zheng and 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

    [img] Download (176kB)


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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
    URI:
    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)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads