{"id":205,"date":"2018-01-03T20:19:00","date_gmt":"2018-01-03T20:19:00","guid":{"rendered":"https:\/\/kindsonthegenius.com\/blog\/2018\/01\/03\/verification-and-validation-during-system-maintenance\/"},"modified":"2018-01-03T20:19:00","modified_gmt":"2018-01-03T20:19:00","slug":"verification-and-validation-during-system-maintenance","status":"publish","type":"post","link":"https:\/\/kindsonthegenius.com\/blog\/verification-and-validation-during-system-maintenance\/","title":{"rendered":"Verification and Validation During System Maintenance"},"content":{"rendered":"<div style=\"color: #555555; font-size: 18px; line-height: 30px; text-align: justify;\">\n<div style=\"font-family: 'segoe ui';\">Hello! Good to see you here<br \/>Today, we are going to discuss software verification and validation during the testing phase. <\/p>\n<p><ins      style=\"display:block; text-align:center;\"      data-ad-layout=\"in-article\"      data-ad-format=\"fluid\"      data-ad-client=\"ca-pub-7041870931346451\"      data-ad-slot=\"4209786523\"><\/ins><\/p>\n<p>During maintenance phase of the Software Development Life Cycle, verification and validation procedures are also carried out using a maintenance plan.<\/p>\n<p>Although it sounds kind of off-key to continue to carry out verification and validation for a completed software project, especially for me coming from a project management background, it&#8217;s still makes some sense.<\/p>\n<p>This is because&nbsp; there may be some changes or improvemenst that may occur during the maintenance phase as needed.<\/p>\n<p><b>Software Maintenance Plan <\/b><br \/>This is one important tool used during maintenance. This contains things like:<\/p>\n<ul>\n<li>bug reports and error logs<\/li>\n<li>Software change records<\/li>\n<li>Maintenance records<\/li>\n<\/ul>\n<p><ins      style=\"display:block; text-align:center;\"      data-ad-layout=\"in-article\"      data-ad-format=\"fluid\"      data-ad-client=\"ca-pub-7041870931346451\"      data-ad-slot=\"4209786523\"><\/ins><\/p>\n<p>Some of the techniques used here includes<br \/>Data collection and analysis<br \/>Effect analysis<br \/>Program Slicing: This is one <\/p>\n<p><b>What is Program Slicing<\/b><br \/>This is a situation such that only a part of the program is taking into consideration during the debugging process. The basis for slicing is to select statements form an executable subprogram that influence the value of slicing criteria which is given by C:<br \/>C = (V,I)<br \/>where V is a subset of the program variables and I is a statement selected from the program.<\/p>\n<p>Static slicing results in smaller more manageable program that are easier to test<br \/><span style=\"color: purple;\"><i>Backward slice<\/i><\/span> is used to determine the statements that have an influence on an&nbsp; erroneous value<br \/><span style=\"color: purple;\">Forward slice<\/span> is used to determine the statements that are influenced by an erroneous value.<br \/>(Static Slicing is explained more in this video)<\/p>\n<p><b>Dynamic Slicing<\/b><br \/>In case of dynamic slicing, the slicing is carried out based on the program path executed in case of a given input<\/div>\n<\/div>\n<p><ins      style=\"display:block; text-align:center;\"      data-ad-layout=\"in-article\"      data-ad-format=\"fluid\"      data-ad-client=\"ca-pub-7041870931346451\"      data-ad-slot=\"4209786523\"><\/ins><\/p>\n<p><ins      style=\"display:block; text-align:center;\"      data-ad-layout=\"in-article\"      data-ad-format=\"fluid\"      data-ad-client=\"ca-pub-7041870931346451\"      data-ad-slot=\"4209786523\"><\/ins><\/p>\n<p><ins      style=\"display:block; text-align:center;\"      data-ad-layout=\"in-article\"      data-ad-format=\"fluid\"      data-ad-client=\"ca-pub-7041870931346451\"      data-ad-slot=\"4209786523\"><\/ins><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Hello! Good to see you hereToday, we are going to discuss software verification and validation during the testing phase. During maintenance phase of the Software &hellip; <\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_mi_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0},"categories":[359],"tags":[],"_links":{"self":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/posts\/205"}],"collection":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/comments?post=205"}],"version-history":[{"count":0,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/posts\/205\/revisions"}],"wp:attachment":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/media?parent=205"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/categories?post=205"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/tags?post=205"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}