In this thesis we focus on an alternative approach to MBT, namely scenario based testing, which we consider in the context of runtime validation. More specifically, we address scenario monitoring and validation in ACL/VF.
The two current versions of the ACL/VF have a number of issues that prevent them being usable solutions. Upgrading the original version to a more recent version of .NET would amount to a complete rewrite. A second version was implemented and tested with the JavaMOP framework. Experimentation with this second solution however revealed it cannot manage and monitor multiple scenarios running simultaneously!
Due to these difficulties, the immediate research question for ACL/VF is to determine whether it can be implemented in a commonly-used environment such as the core Java/J2EE framework. This thesis provides an affirmative answer to this question: a case study is used to illustrate the proposed approach to monitoring ACL scenarios using Java threads