Verification, validation and testing in software engineering

Type Book

Rate 0.0 /5

"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.

Details

Files

Reviews

Download

Title Statements

Full title :Verification, validation and testing in software engineering / Aristides Dasso, Ana Funes [editors].

Summary

Edition Statements

Publication Date:©2007.

Publication Statements

Publisher(s):Idea Group Pub
Place of Publication:Hershey, PA
Language:eng
Publication Date:©2007.

The Physical Object

Description:xi, 428 pages : : illustrations ; : 26 cm

Edition Identifiers

ISBN:1591408512, 9781591408512, 1591408520, 1591408539, 9781591408536, 9781591408529
oclc:ocm67840181
LC Classification:QA76.76.V47
Dewey Decimal:005.14

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 Da…

Subjects