Verification, Validation and Testing in Software Engineering

Verification, Validation and Testing in Software Engineering

eBook - 2007
Rate this:
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. ""Verification, Validation and Testing in Software Engineering"" 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.
Publisher: Hershey, PA : Idea Group Pub., c2007 (Norwood, Mass. : Books24x7.com [generator])
ISBN: 9781591408512
1591408539
1591408520

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings

  Loading...
No similar edition of this title was found at VPL.

Try searching for Verification, Validation and Testing in Software Engineering to see if VPL owns related versions of the work.


Suggest for Purchase

  Loading...
[]
[]
To Top