University of Malta

UOM Main Page
Apply - Admissions 2016
Campus Map button

[The code shown in the screenshots below can be downloaded from here]


Screenshot 1 - An example of a single basic rule  

The rule below checks that after a withdrawal, the balance never goes below zero.

The console shows the output of running a faulty implementation which allows the balance to go below zero.  

basic rule example


 Screenshot 2 - An example of a rule taking time into consideration

The check below asserts that at least there is a three second duration between subsequent failed login attempts. 

an example of a rule with time 


Screenshot 3 - A time-triggered rule 

 The rule checks that there is no five-second period during which there is no activity. Note how the last event is timer-based, i.e. it fires upon the elapsing of 5 seconds.

time-triggered rule 


Screenshot 4 - A finite state machine example 

 The finite state machine below checks the log in logic of the system. Note that it is completely up to the user to decide the level of abstract the checking goes into.

 fsm example


Screenshot 5 - A regular expression

Using the regular expression below, we show how the lifecycle of a bank session can be captured very succinctly. 

 regular expression example


Screenshot 6 - JUnit with monitor annotations 

Complementing typical assertions, monitors can provide extra power to capture checks easily across your tests. 

 junit example with annotations


Screenshot 7 - Managing multiple monitors 

 To make it easier to handle a number of monitors, LarvaLight provide the Oracle class - essentially a collection of monitors which can be started, reset, or disposed all at once.

junit example with oracle 

Ongoing projects page updated
We are proud to present our team of graduates and postgraduates and the list of projects we are currently working on. Click <Ongoing Projects> to find out more...
LarvaLight tool launched
Visit the <LarvaLight tool page> for more information
Interested in collaborating?
Checkout our industry collaboration models <here>
Last Updated: 7 March 2014

Log In back to UoM Homepage