Lecture_09 Flashcards
Verification & Validation & Videos
What is validation in software engineering?
Validation ensures we are building the right system by solving the real problem and meeting stakeholder needs.
What is verification in software engineering?
Verification ensures we are building the system correctly by meeting requirements and maintaining consistency in representations.
What are examples of validation criteria?
Discovering all essential requirements and domain properties/assumptions.
What are examples of verification criteria?
Ensuring software meets specifications and that requirements are satisfied based on domain properties.
How does the feedback loop fit into validation and verification?
Validation fits in learning about the market, while verification happens during testing.
What are two solutions to handling the challenge of requiring a finished product for feedback?
(1) Developing an MVP (agile method)
(2) Emulating the solution.
What is model checking?
A technique to validate and analyze requirements models before listing requirements or designing a system.
What errors can model checking detect?
Logical inconsistencies, incompleteness, misunderstandings, process bottlenecks, and unsatisfied goals.
What is well-formedness in modeling?
Ensuring a model follows its respective modeling rules to avoid misinterpretation and inconsistencies.
Why is formal model checking useful, and when is it applied?
It increases confidence in correctness and is useful for safety-critical systems.
What is the difference between a walkthrough and an inspection?
A walkthrough is informal and focuses on defect detection, while an inspection is formal, process-driven, and includes documentation.
What are the four structured methods of conducting inspections?
(1) Checklist.
(2) Walkthrough.
(3) Round Robin.
(4) Speed Review.
What are the benefits of formal inspections in programming?
Increased defect detection, reduced errors, improved productivity, and cost reduction.
Why are inspections important for requirements validation?
Requirements cannot be tested like code, so inspections help identify defects early.
What are the main aspects analyzed in usability testing?
Efficiency (speed), effectiveness (success rate), confusion points, and user satisfaction.
How should usability testing tasks be structured?
Tasks should be realistic, resemble real-world scenarios, and avoid reintroducing design elements.
What is a vision video?
A video presenting a shared vision of a future system to align stakeholders’ mental models.
What are the two main purposes of vision videos?
(1) Documenting a unified view of the future system.
(2) Validating and eliciting stakeholder perspectives.
What are key factors for making a high-quality vision video?
Clear message, accessibility, relevance, good video/audio quality, and an engaging plot.
What are the three main phases of vision video production?
(1) Preproduction (planning, storyboarding).
(2) Shooting (filming, camera techniques).
(3) Postproduction (editing, refining).
What is backlog grooming?
The process of reviewing, refining, and prioritizing backlog items for upcoming iterations.
What are key activities in backlog refinement?
Removing irrelevant stories, creating new stories, re-prioritizing, refining estimates, and breaking down coarse-grained stories.
What is storyboarding in UX and requirements engineering?
A method for visually mapping user scenarios, interactions, and system responses.
What elements should a good storyboard contain?
Characters, scenes, a clear plot with a beginning, middle, and end.
