Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/94801
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.date.accessioned | 2022-05-02T11:06:29Z | - |
dc.date.available | 2022-05-02T11:06:29Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Scicluna, J. (2014). State-based monitoring using LARVA (Bachelor's dissertation). | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/94801 | - |
dc.description | B.Sc. IT (Hons)(Melit.) | en_GB |
dc.description.abstract | With the increasing size and complexity of computer systems, the need for verification of software is becoming more and more important. Software verification may be done using several techniques such as testing and model checking. Unfortunately, testing cannot always guarantee that the system is free from bugs and model checking does not scale up well with the size of the system. Therefore, runtime verification was developed with the aim of allowing a system to be verified while it is running by monitoring the activities occurring within the system and checking them against properties describing its expected behaviour. However, runtime verification is limited by the events which can be monitored as they are usually based on particular points of interest in the program's control structure such as method calls and exception throws. Therefore, one might not be able to monitor specific points of interest based on the changes in the state of the system. This refers to monitoring changes in the system's data such as the value of variables. Even so, checking the system's state every time it may have changed could lead to an increase in the resource overhead. Thus, in this project, we address these problems by presenting a solution which can monitor the state of a system without extensive resource overhead by extending the functionality provided by the runtime verification tool LARVA. Our solution gives the user the ability to express properties on the field variables of their system in order to capture changes in their values. We also allow the user to specify particular types of events such as when a value falls below, or changes to, a specific value. We applied our solution to several case studies in order to assess and evaluate the usefulness and feasibility of the provided state-based monitoring and show how it can be beneficial to real-life systems. | en_GB |
dc.language.iso | en | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Computer programs -- Testing | en_GB |
dc.subject | Formal methods (Computer science) | en_GB |
dc.title | State-based monitoring using LARVA | en_GB |
dc.type | bachelorThesis | en_GB |
dc.rights.holder | 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. | en_GB |
dc.publisher.institution | University of Malta | en_GB |
dc.publisher.department | Faculty of Information and Communication Technology. Department of Computer Science | en_GB |
dc.description.reviewed | N/A | en_GB |
dc.contributor.creator | Justine, Scicluna (2014) | - |
Appears in Collections: | Dissertations - FacICT - 2014 Dissertations - FacICTCS - 2010-2015 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
B.SC.(HONS)ICT)_Scicluna_Justine_2014.PDF Restricted Access | 4.52 MB | Adobe PDF | View/Open Request a copy | |
Scicluna_Justine_acc.material.pdf Restricted Access | 64.46 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.