October 10, 2024

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

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