Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
This is a version of the alarm example from the VDM++ book where traces
have been added to test automation purposes. See John Fitzgerald, Peter
Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef, Validated
Designs for Object-oriented Systems, Springer, New York. 2005, ISBN
1-85233-881-4. The example is inspired by a subcomponent of a large
alarm system developed by IFAD A/S. It is modelling the management of
alarms for an industrial plant. The purpose of the model is to clarify
the rules governing the duty roster and calling out of experts to deal
with alarms. A comparable model of this example also exists in VDM-SL.

#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= John Fitzgerald and Peter Gorm Larsen
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#ENTRY_POINT=new Test1().Run()
#EXPECTED_RESULT=NO_ERROR_INTERPRETER
#******************************************************
New to GrepCode? Check out our FAQ X