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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More
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 ...
Read More
Read More