Runtime Verification for ABS Product Lines

The proposed project will focus on a particular programming language for Software Product Lines, called ABS, which has been developed in large parts at the University of Oslo by the Norwegian partner. The project will further focus on one particular kind of testing strategy, namely testing through Runtime Verification. In Runtime Verification for traditional programs, programmers can automatically embed runtime checks into their program, which allow them to test that their program adheres to a formal spec ification. The goal of this project is to lift this approach to entire software product lines, expressed in ABS. We will also investigate in how far the concept of monitors for Runtime Verification properties can be expressed as a Software Product Line fe ature.