Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

Hyggo Oliveira de Almeida (Federal University of Campina Grande, Brazil), Leandro Silva (Federal University of Campina Grande, Brazil), Glauber Ferreira (Federal University of Campina Grande, Brazil), Emerson Loureiro (Federal University of Campina Grande, Brazil) and Angelo Perkusich (Federal University of Campina Grande, Brazil)
Copyright: © 2009 |Pages: 20
DOI: 10.4018/978-1-60566-060-8.ch194

Abstract

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

Complete Chapter List

Search this Book:
Reset