The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets
|
|
Author(s): 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
Source title:
Software Applications: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): Pierre F. Tiako (Langston University, USA)
DOI: 10.4018/978-1-60566-060-8.ch194
Purchase
|
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.
Related Content
|
Babita Srivastava.
© 2024.
21 pages.
|
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
|
Neeta Baporikar.
© 2024.
23 pages.
|
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|