March 8, 2021

Software Verification and Validation

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

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

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

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

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

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

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

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

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