{"id":1575,"date":"2020-08-22T22:48:07","date_gmt":"2020-08-22T20:48:07","guid":{"rendered":"https:\/\/kindsonthegenius.com\/blog\/?page_id=1575"},"modified":"2020-08-22T22:51:16","modified_gmt":"2020-08-22T20:51:16","slug":"software-verification-and-validation","status":"publish","type":"page","link":"https:\/\/kindsonthegenius.com\/blog\/software-verification-and-validation\/","title":{"rendered":"Software Verification and Validation"},"content":{"rendered":"
<\/a>\n

Software Verification and Validation Topics – 2017<\/a><\/h4>
1a.The notion of Verification and Validation. Overview of typical verification and validation activities during software development. (L01a) This includes verification ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Verification and Validation During System Maintenance<\/a><\/h4>
Hello! Good to see you hereToday, we are going to discuss software verification and validation during the testing phase. During ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Source Code Based Test Case Generation<\/a><\/h4>
In this short and simple lesson, we are going to discuss techniques in carrying out source code based testing. Source ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Software Module Testing (Unit Testing)<\/a><\/h4>
In this article, we would discuss the concept of Software Module Testing or Unit Testing. We would look at the ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Criteria and Techniques for Verification of Software Architecture Design<\/a><\/h4>
The architecture of a system refers to the components of the system and the way they interact. This component includes ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Verification of Invariant Properties by Bounded Model Checking<\/a><\/h4>
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<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Verification of Software Requirement Specification: Criteria and Techniques<\/a><\/h4>
Verification of Software requirement specification involves evaluating the software against the following criteria:the functions should be specified and well-definedReferences are ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Basic Formalisms for Design Modelling<\/a><\/h4>
In this article we would discuss five basic formalism for design modelling. They are:Kripke StructureKripke Transition SystemLabelled Transition SystemFinite State ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div>\n
<\/a>\n

Difference Between Software Verification and Software Validation<\/a><\/h4>
The two words are normally used side by side. But there is a clear difference between the two which we ...
Read More<\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_mi_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0},"_links":{"self":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/pages\/1575"}],"collection":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/comments?post=1575"}],"version-history":[{"count":2,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/pages\/1575\/revisions"}],"predecessor-version":[{"id":1583,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/pages\/1575\/revisions\/1583"}],"wp:attachment":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/media?parent=1575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}