Professional Documents
Culture Documents
FM - Lecture 1
FM - Lecture 1
FM - Lecture 1
Methods in Software
Engineering
What is Software?
• Software is a set of programs, which is
designed to perform a well-defined
function.
• Testing
• Verification OR Validation
• Black Box Testing OR White Box Testing
Verification & Validation
Verification Validation
Are we building the system right? Are we building the right system?
Verification is carried out before the Validation activity is carried out just
Validation. after the Verification.
• It is very important to note that formal verification does not obviate the need
for testing.
Formal Design Process
1. Formal Specification
2. Verification
3. Implementation
Formal Design Process: Formal
Specification
• During the formal specification phase, the engineer rigorously defines
a system using a mathematical modeling language.
• The formal Verification checks for correctness of the model and its
formulas. Verification is a difficult process, largely because even the
simplest system has several dozen formulas, each of which has to be
proven.