Software Verification and Validation Topics – 2017
1a.The notion of Verification and Validation. Overview of typical verification and validation activities during software development. (L01a) This includes verification ...
Verification and Validation During System Maintenance
Hello! Good to see you hereToday, we are going to discuss software verification and validation during the testing phase. During ...
Source Code Based Test Case Generation
In this short and simple lesson, we are going to discuss techniques in carrying out source code based testing. Source ...
Software Module Testing (Unit Testing)
In this article, we would discuss the concept of Software Module Testing or Unit Testing. We would look at the ...
Criteria and Techniques for Verification of Software Architecture Design
The architecture of a system refers to the components of the system and the way they interact. This component includes ...
Verification of Invariant Properties by Bounded Model Checking
Bounded model-checking is a technique applied in handling of large state space problems.The basic principle of bounded model-checking is that ...
Verification of Software Requirement Specification: Criteria and Techniques
Verification of Software requirement specification involves evaluating the software against the following criteria:the functions should be specified and well-definedReferences are ...
Basic Formalisms for Design Modelling
In this article we would discuss five basic formalism for design modelling. They are:Kripke StructureKripke Transition SystemLabelled Transition SystemFinite State ...
Difference Between Software Verification and Software Validation
The two words are normally used side by side. But there is a clear difference between the two which we ...