{"id":212,"date":"2017-12-25T00:19:00","date_gmt":"2017-12-24T23:19:00","guid":{"rendered":"https:\/\/kindsonthegenius.com\/blog\/2017\/12\/25\/criteria-and-techniques-for-verification-of-software-architecture-design\/"},"modified":"2020-08-22T14:44:24","modified_gmt":"2020-08-22T12:44:24","slug":"criteria-and-techniques-for-verification-of-software-architecture-design","status":"publish","type":"post","link":"https:\/\/kindsonthegenius.com\/blog\/criteria-and-techniques-for-verification-of-software-architecture-design\/","title":{"rendered":"Criteria and Techniques for Verification of Software Architecture Design"},"content":{"rendered":"<div style=\"color: #555555; font-size: 18px; line-height: 30px; text-align: justify;\">\n<div style=\"font-family: 'segoe ui';\">The architecture of a system refers to the components of the system and the way they interact. This component includes both hardware and software components. Architecture design specifies the properties and functions of these components in terms of performance, safety and interactions.<\/p>\n<p><b>Languages for Architecture Design<\/b><br \/>Languages for architecture design includes the following:<\/p>\n<ul>\n<li>Unified Modelling Language(UML): A modelling language used for visualizing the design of a system.<\/li>\n<li>System Modelling Language(SysML): A Modelling Language used in the design and modelling&nbsp; of engineering systems<\/li>\n<li>Architecture Analysis and Design Language(AADL): An architecture description language developed by SAE International<\/li>\n<\/ul>\n<p><b>Components of Architecture<\/b><\/p>\n<ul>\n<li>Processor<\/li>\n<li>Memory<\/li>\n<li>External Devices<\/li>\n<li>Disk<\/li>\n<li>Buses<\/li>\n<\/ul>\n<p><b>Criteria for Software Architecture Verification<\/b><br \/>Let&#8217;s now examine some factors that could serve as the criteria for architecture verification<\/p>\n<p><i>Dependability: <\/i>How reliable is the system?<br \/>How is error detection and recovery efficiency?<br \/>How well does it handle faults<\/p>\n<p><i>Performance<\/i>: In terms of resource management and assignment, scheduling etc<\/p>\n<p><i>Security<\/i>: Ensures that critical data is protected from unauthorize use. Provides for authentication, authorization and access control<\/p>\n<p><i>Maintainability<\/i>:&nbsp; How maintainable is the codes and other artifacts?<\/p>\n<p><i>Usability<\/i>: User-friendly interface separate from the model.<\/p>\n<p>Testability: Provides for tests to be carried out comprehensively.<\/p>\n<p><b>Techniques for Architecture Verification<\/b><br \/><i>1. Requirement Based Analysis: Architecture Trade-off Analysis (ATAM):<\/i> This is examination of the quality objectives and their attributes as well as how the architecture satisfies these objectives.<br \/><i><br \/><\/i><i>2. Systematic Based Analysis: Static Analysis:<\/i> This method examines the external and internal interface of the system to check presence or absence of defects and their impact. Static analysis can be Interface Analysis or Fault Effect Analysis<\/p>\n<p>Interface Analysis: Check if the interfaces of the system conforms to requirements<\/p>\n<p>Fault Effect Analysis: Analysis of the presence of faults in the architecture and their effects.<\/p>\n<p><i>3. Model Based Methods: Quantitative Analysis<\/i>: This focuses on the performance of the system in terms of performance, dependability and safety.<\/p>\n<p><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The architecture of a system refers to the components of the system and the way they interact. This component includes both hardware and software components. &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\/212"}],"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=212"}],"version-history":[{"count":1,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/posts\/212\/revisions"}],"predecessor-version":[{"id":1494,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/posts\/212\/revisions\/1494"}],"wp:attachment":[{"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/media?parent=212"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/categories?post=212"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kindsonthegenius.com\/blog\/wp-json\/wp\/v2\/tags?post=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}