• Improving the automatic runtim...

Treffer: Improving the automatic runtime monitor generation process via pruning : a way forward

Title:
Improving the automatic runtime monitor generation process via pruning : a way forward
Authors:
Chircop, Luke, Colombo, Christian, Micallef, Mark, Francalanza, Adrian, Pace, Gordon J., Computer Science Annual Workshop CSAW’16
Publisher Information:
University of Malta. Faculty of Information and Communication Technology
Publication Year:
2016
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Computer software -- Testing -- Automation, Debugging in computer science -- Computer programs, Computer software -- Verification, Computer software -- Standards
Document Type:
Konferenz conference object
Language:
English
Relation:
https://www.um.edu.mt/library/oar/handle/123456789/94418
Availability:
https://www.um.edu.mt/library/oar/handle/123456789/94418
Rights:
info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Accession Number:
edsbas.482FCC
Database:
BASE

Weitere Informationen

Software quality and robustness are elements that the industry is constantly striving to achieve. However, no guarantees can be given that the end product is bug free. Our research proposes an automated process whereby, existing tests are translated into runtime monitors. This is achieved through a three step process of extracting behavioural knowledge, inferring conditions (modelled as invariants), and finally translating them into runtime monitors. Multiple existing tools such as Daikon have primarily been designed for testing purposes to extract invariants. As a consequence, some invariants inferred have been observed to be unsuitable for the purpose of runtime monitoring; potentially generating false negatives. [excerpt] ; peer-reviewed