VDMTools User Manual (VDM++)

VDMTools User Manual (VDM++) - CSKSYSTEMSCORPORATION...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools VDMTools User Manual (VDM++) ver.1.0 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ VDM.SP@csk.com General information VDMTools User Manual (VDM++) 1.0 Revised for VDMTools v8.2 c COPYRIGHT 2009 by CSK SYSTEMS CORPORATION The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. This document is subject to change without notice VDMTools User Manual (VDM++) Contents 1 Introduction 1 2 VDMTools Overview 4 3 A Guided Tour of the VDMTools 7 3.1 Creating Input to VDMTools . . . . . . . . . . . . . . . . . . . . 7 3.2 Starting the VDM++ Graphical User Interface . . . . . . . . . . 8 3.3 On-Line Help . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.4 Menus, Toolbars and Subwindows . . . . . . . . . . . . . . . . . . 9 3.5 Configuring your Project . . . . . . . . . . . . . . . . . . . . . . . 10 3.6 Syntax Checking your VDM Specification . . . . . . . . . . . . . . 11 3.6.1 Parsing the specification . . . . . . . . . . . . . . . . . . . 12 3.6.2 Correcting syntax errors . . . . . . . . . . . . . . . . . . . 13 3.7 Type Checking your VDM Specification . . . . . . . . . . . . . . . 15 3.8 Validating your Specification . . . . . . . . . . . . . . . . . . . . . 19 3.8.1 Evaluating expressions using the interpreter . . . . . . . . 19 3.8.2 Setting breakpoints . . . . . . . . . . . . . . . . . . . . . . 22 3.8.3 Dynamic type checking . . . . . . . . . . . . . . . . . . . . 25 3.8.4 Checking Integrity Properties . . . . . . . . . . . . . . . . 27 3.8.5 Multi-threaded models . . . . . . . . . . . . . . . . . . . . 31 3.9 Introducing Systematic Testing . . . . . . . . . . . . . . . . . . . 31 3.10 Pretty Printing . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 3.11 Generating Code . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 3.12 The VDMTools API . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.13 Exiting VDMTools . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4 The VDMTools Reference Manual 36 4.1 The Overall Graphical User Interface . . . . . . . . . . . . . . . . 36 4.1.1 Project handling . . . . . . . . . . . . . . . . . . . . . . . 37 4.1.2 Operations on specifications . . . . . . . . . . . . . . . . . 40 4.1.3 The log window, error list and source window . . . . . . . 41 4.1.4 Editing files . . . . . . . . . . . . . . . . . . . . . . . . . . 43 4.1.5 Using the interpreter . . . . . . . . . . . . . . . . . . . . . 44 4.1.6 On-line help . . . . . . . . . . . . . . . . . . . . . . . . . . 44 4.2 The Overall Command Line Interface . . . . . . . . . . . . . . . . 44 4.2.1 Initialisation file . . . . . . . . . . . . . . . . . . . . . . . . 46 4.3 The Syntax Checker . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.3.1 The graphical user interface . . . . . . . . . . . . . . . . . 48 4.3.2 Format of syntax errors . . . . . . . . . . . . . . . . . . .....
View Full Document

Page1 / 122

VDMTools User Manual (VDM++) - CSKSYSTEMSCORPORATION...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online