• Home
  • Textbooks
  • Software Engineering 3: Domains, Requirements, and Software Design
  • Requirements Verification and Validation

Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 22

Requirements Verification and Validation - all with Video Answers

Educators

Chapter Questions

Problem 1

Requirements Validation Documents. Which are the requirements development documents that are needed in order to commence proper requirements validation, and which are the resulting documents?

Check back soon!

Problem 2

Requirements Validation Process. Outline, in brief, i.e,, in a few itemised lines, the requirements validation process.

Check back soon!
05:03

Problem 3

Requirements Verification, Model Checking and Testing. Explain, in brief, in a few itemised lines, the concepts of formal verification, of model checking and of testing.

Jennifer Stoner
Jennifer Stoner
Numerade Educator
01:57

Problem 4

Requirements Validation Versus Domain Verification. Explain in two itemised lines the difference between the objectives of requirements validation and requirements verification.

Sanchit Jain
Sanchit Jain
Numerade Educator

Problem 5

Specific Domain-Specific Requirements Validation. For the fixed topic, selected by you, and on the background of your solutions to some of exercises 19.4 to 19.6, suggest, preferably three or more, issues that may need special attention during requirements validation.

Check back soon!

Problem 6

Specific Domain-Specific Requirements Verification. For the fixed topic, selected by you, and on the background of your solutions to some of exercises 19.4 to 19.6 , suggest, preferably three or more, issues that may need special attention during requirements verification.

Check back soon!