Verification, validation and testing in software engineering
Başlık:
Verification, validation and testing in software engineering
Yazar:
Dasso, Aristides, 1943-
ISBN:
9781591408536
Yayın Bilgileri:
Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2007.
Fiziksel Tanımlama:
electronic texts (xi, 428 p. : ill.) : digital files.
İçerik:
Fault-Based Testing / Marisa Analía Sánchez -- Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets / Hyggo Oliveira de Almeida ... [et al.] -- Integrating Usability, Semiotic, and Software Engineering into a Method for Evaluating User Interfaces / Kenia Sousa, Albert Schilling, Elizabeth Furtado -- Automated Software Testing / Paula Donegan ... [et al.] -- A Formal Verification and Validation Approach for Real-Time Databases / Pedro Fernandes Ribeiro Neto ... [et al.] -- Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing / Tanja Toroi, Anne Eerola -- Test-Case Mutation / Macario Polo, Mario Piattini -- Discrete Event Simulation Process Validation, Verification, and Testing / Evon M. O. Abu-Taieh, 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, Víctor M. Gulías, David Cabrero -- Static Type Systems: From Specification to Implementation / Pablo E. Martínez López -- Generic Model of the Business Model and Its Formalization in Object-Z / Marcela Daniele, Paola Martellotto, Gabriel Baum -- Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life / Luis Fernández, Pedro J. Lara, Juan José Cuadrado -- Safecharts Model Checking for the Verification of Safety-Critical Systems / Pao-Ann Hsiung, Yen-Hung Lin, Yean-Ru Chen.
Özet:
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification--traditional in formal methods--has been joined by model checking and other techniques. This book offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development--including real-time applications--where V&V techniques are required.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2