A Runtime Verification Framework For Kotlin Mobile Applications
Ladda ner
Typ
Examensarbete för masterexamen
Program
Publicerad
2020
Författare
Furian, Denis
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Runtime Verification , Runtime Enforcement , Android , Kotlin , Aspectoriented Programming , Monitor , Coroutine , Concurrency , Structured Concurrency