Library Open Repository

Validation and Verification of Software Design using Finite State Process

Downloads

Downloads per month over past year

Stanton, SC (2002) Validation and Verification of Software Design using Finite State Process. Honours thesis, University of Tasmania. (Unpublished)

[img]
Preview
PDF
Validation_and_Verification_of_Software_Design_Using_FSP.pdf | Download (535kB)
Available under University of Tasmania Standard License.

Abstract

This thesis aims to evaluate the effectiveness of a formal language (Finite State Process) automated verification tool (Labelled Transition System Analyser) at finding and resolving errors in design models of software. FSP is used to model the Lift Problem from a specification refined by validation. The specification is mapped to a finite state domain and tested for errors - in the mapping, in the understanding of the initial requirements, in the accuracy of the initial requirements, and in the concurrency properties of the identified co-operating entities. Exposition of errors refines (validates) the initial description, and drives their resolution giving rise to an evolutionary corrected model; upon exit of iterative analysis this is mapped to UML behavioural diagrams forming Implementation Specifications.

Item Type: Other
Keywords: Finite state process, Object oriented design, verification, model checking
Publisher: Honours thesis, University of Tasmania
Date Deposited: 12 Aug 2004
Last Modified: 18 Nov 2014 03:10
URI: http://eprints.utas.edu.au/id/eprint/43
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page