Recipes in this chapter
- Functional Analysis with Scenarios
- Functional Analysis with Activities
- Functional Analysis with State Machines
- Functional Analysis with User Stories
- Model-Based Safety Analysis
- Model-Based Threat Analysis
- Specifying Logical System Interfaces
- Creating the Logical Data Schema
This chapter contains recipes to do with the capturing and analysis of requirements. The first four recipes are alternative ways to achieve essentially the same thing. Functional analysis generates high-quality requirements, use cases, and user stories – all means to understand what the system must be.
By “high-quality requirements,” I mean requirements focused on a use case that are demonstrably:
- Complete
- Accurate
- Correct
- Consistent
- Verifiable
The problem is that natural language is ambiguous, imprecise, and only weakly verifiable. Keeping the human-readable text...