A Runtime Verification Framework For Kotlin Mobile Applications
| dc.contributor.author | Furian, Denis | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
| dc.contributor.examiner | Ahrendt, Wolfgang | |
| dc.contributor.supervisor | Schneider, Gerardo | |
| dc.date.accessioned | 2021-02-25T09:53:04Z | |
| dc.date.available | 2021-02-25T09:53:04Z | |
| dc.date.issued | 2020 | sv |
| dc.date.submitted | 2020 | |
| dc.description.abstract | The Kotlin programming language has recently been introduced to Android as the recommended language for development. We investigated whether we could use this language to improve the state of the art for Runtime Verification on mobile devices and focused on creating an API to monitor the execution of coroutines, one of the main Kotlin functionalities that are not featured in Java. This API should be employed by Android programmers to carry out concurrent tasks in a monitored environment and verify at runtime that the Kotlin guidelines and best practices for coroutines are being followed. We identified a number of such guidelines and redefined them as properties to either monitor through Runtime Verification or enforce through Runtime Enforcement; we then tested them on an in-house Android app built using our API. In this report we present the API and the results of our tests concerning performance overhead and memory usage, as well as our ideas for future development. | sv |
| dc.identifier.coursecode | MPALG | sv |
| dc.identifier.uri | https://hdl.handle.net/20.500.12380/302231 | |
| dc.language.iso | eng | sv |
| dc.setspec.uppsok | Technology | |
| dc.subject | Runtime Verification | sv |
| dc.subject | Runtime Enforcement | sv |
| dc.subject | Android | sv |
| dc.subject | Kotlin | sv |
| dc.subject | Aspectoriented Programming | sv |
| dc.subject | Monitor | sv |
| dc.subject | Coroutine | sv |
| dc.subject | Concurrency | sv |
| dc.subject | Structured Concurrency | sv |
| dc.title | A Runtime Verification Framework For Kotlin Mobile Applications | sv |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.uppsok | H |