{"id":27581,"date":"2020-12-03T13:56:04","date_gmt":"2020-12-03T18:56:04","guid":{"rendered":"http:\/\/www.bu.edu\/csmet\/?p=27581"},"modified":"2023-02-24T14:58:22","modified_gmt":"2023-02-24T19:58:22","slug":"software-verification-architecture-december-3-2020","status":"publish","type":"post","link":"https:\/\/www.bu.edu\/csmet\/2020\/12\/03\/software-verification-architecture-december-3-2020\/","title":{"rendered":"Software Verification Architecture | December 3, 2020"},"content":{"rendered":"<p><iframe loading=\"lazy\" width=\"400\" height=\"285\" style=\"padding: 25px;\" align=\"left\" src=\"https:\/\/cdnapisec.kaltura.com\/p\/2159741\/embedPlaykitJs\/uiconf_id\/54272102?iframeembed=true&#038;entry_id=1_r645mlb9\" allowfullscreen=\"allowfullscreen\" webkitallowfullscreen=\"webkitallowfullscreen\" mozallowfullscreen=\"mozallowfullscreen\" allow=\"autoplay *; fullscreen *; encrypted-media *\" sandbox=\"allow-forms allow-same-origin allow-scripts allow-top-navigation allow-pointer-lock allow-popups allow-modals allow-orientation-lock allow-popups-to-escape-sandbox allow-presentation allow-top-navigation-by-user-activation\" frameborder=\"0\" title=\"Kaltura Player\"><\/iframe><\/p>\n<p>Faculty Speaker: <a href=\"https:\/\/www.bu.edu\/csmet\/profile\/alex-elentukh\/\">Alex Elentukh<\/a>, Lecturer<br \/>\n<em>Moderated by: Andrey Blidman, Computer Science Program Coordinator<\/em><br \/>\nDecember 3, 2020<\/p>\n<p><strong>Abstract:<\/strong> In this TECH Byte, Professor Elentukh will discuss the software verification architecture. With an ever growing number of various test types, it is crucial to strategically position tests into a coherent architecture, for both, test design and execution. In financial and medical devices industries, IT departments commonly employ more testers than coders. This is due to a huge risk involved with even a minuscule defect. Some companies use a unified title of a \u201csoftware team member\u201d responsible for all relevant activities. Still, the verification task, including writing and executing test cases, is always well-pronounced. During the presentation, Professor Elentukh will explore several industry-standard verification architectures and gladly respond to comments.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Faculty Speaker: Alex Elentukh, Lecturer Moderated by: Andrey Blidman, Computer Science Program Coordinator December 3, 2020 Abstract: In this TECH Byte, Professor Elentukh will discuss the software verification architecture. With an ever growing number of various test types, it is crucial to strategically position tests into a coherent architecture, for both, test design and execution. [&hellip;]<\/p>\n","protected":false},"author":21442,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[10843],"tags":[10848,10866,10868,10867],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/posts\/27581"}],"collection":[{"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/users\/21442"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/comments?post=27581"}],"version-history":[{"count":1,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/posts\/27581\/revisions"}],"predecessor-version":[{"id":27582,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/posts\/27581\/revisions\/27582"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/media?parent=27581"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/categories?post=27581"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.bu.edu\/csmet\/wp-json\/wp\/v2\/tags?post=27581"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}