Verification, validation and testing in software engineering

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.

Saved in:
Bibliographic Details
Other Authors Dasso, Aristides, 1943-, Funes, Ana, 1964-
Format Electronic eBook
LanguageEnglish
Published Hershey, PA : Idea Group Pub., ©2007.
Subjects
Computer software > Validation.
Computer software > Verification.
Computer software > Testing.
elektronické knihy
electronic books
Online AccessFull text
ISBN1591408539
9781591408536
9781621989479
162198947X
1591408520
9781591408529
9781591408512
1591408512
Physical Description1 online resource (xi, 428 pages) : illustrations

Cover

Table of Contents:
  • Fault-based testing / Marisa Analia Sanchez
  • Validation and verification of software systems using virtual reality and coloured petri nets / Hyggo Oliveira de Almeida, Leandro Silva, Glauber Ferreira, Emerson Loureiro and Angelo Pekusich
  • Integrating usability, semiotic, and software engineering into a method for evaluating user interfaces / Kenia Sousa, Albert Schilling and Elizabeth Furtado
  • Automated software testing / Paula Donegan, Liane Bandeira, Cristina Matos, Paula Luciana da Cunha and Camila Maia
  • A formal verification and validation approach for real-time databases / Pedro Fernandes Ribeiro Neto, Maria Ligia Barbosa Perkusich, Hyggo Oliveira de Almeida and Angelo Perkusich
  • Requirements for the testable specifications and test case derivation in conformance testing / Tanja Toroi and Anne Eerola
  • Test-case mutation / Macario Polo and Mario Piattini
  • Discrete event simulation process validation, verification, and testing / Evon M.O. Abu-Taieh and Asim Abdel Rahman El Sheikh
  • The STECC framework: an architecture for self-testable components / Sami Beydeda
  • Certifying properties of programs using theorem provers / J. Santiago Jorge, Victor M. Gulias and David Cabrero
  • Static type systems: from specification to implementation / Pablo E. Martinez Lopez
  • Generic model of the business model and its formalization in object-Z / Marcela Daniele, Paola Martellotto and Gabriel Baum
  • Efficient software quality assurance approaches oriented to UML models in real life / Luis Fernandez, Pedro J. Lara and Juan Jose Cuadrado
  • Safecharts model checking for the verification of safety-critical systems / Pao-Ann Hsiung, Yen-Hung Lin and Yean-Ru Chen.

Similar Items