Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/94815
Title: | Using symbolic execution to test monitor specifications |
Authors: | Tanti, Mark (2014) |
Keywords: | Computer software -- Verification Programming languages (Electronic computers) Computer programs -- Testing |
Issue Date: | 2014 |
Citation: | Tanti, M. (2014). Using symbolic execution to test monitor specifications (Bachelor's dissertation). |
Abstract: | In security critical applications, monitors are used to increase the level of confidence during runtime. Their main job is to extract information from a running application and use it to detect and possibly mitigate any specification violation. Monitors are typically specified and compiled automatically from high level specification languages. However, particularly for novel users, ensuring that the specifications are correct is a major concern and might consume a lot of time. Creating a system which can automatically generate a report indicating whether the identified monitors exhibit the expected behaviour or not, would be of precious feedback for the monitor developer. This project aims to investigate whether symbolic execution techniques can be successfully used to automatically force the system under test to go through all the states specified in the monitors, with the aim of generating a report which can be used to verify the mentioned monitor specifications. |
Description: | B.Sc. IT (Hons)(Melit.) |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/94815 |
Appears in Collections: | Dissertations - FacICT - 2014 Dissertations - FacICTCS - 2010-2015 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
B.SC.(HONS)ICT_Tanti_Mark _2014.PDF Restricted Access | 10.24 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.