Treffer: Source-level runtime validation through interval temporal logic

Title:
Source-level runtime validation through interval temporal logic
Authors:
D’Emanuele, Karlston, Pace, Gordon J., 3rd Computer Science Annual Workshop (CSAW’05)
Publisher Information:
University of Malta. Faculty of ICT
Publication Year:
2005
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Computer software -- Development, Calculus -- Computer programs, Computer programs -- Correctness
Document Type:
Konferenz conference object
Language:
English
Relation:
https://www.um.edu.mt/library/oar//handle/123456789/22462
Availability:
https://www.um.edu.mt/library/oar//handle/123456789/22462
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.FD673ED8
Database:
BASE

Weitere Informationen

The high degree of software complexity achievable through current software development practices makes software more prone to failure. A number of work and work practices has evolved in order to reduce risks related to software correctness and reliability. One of which is validation, which monitors the system execution at runtime and verifies that the system states entered are valid according to the behavioural specification. This paper describes a framework providing an assertion like validation environment for integrating software properties specified in interval temporal logic. The framework consists in three parts. The first part provides a mechanism for converting the human readable assertion to a symbolic automata, which is then used by the second part of the framework that performs the validation. ; peer-reviewed