Software Verification Architecture TECH Byte

The TECH Byte series features a 20- to 30-minute virtual talk by a MET CS faculty member on a technical topic followed by 10 to 15 minutes of Q&A.

For our December Byte, Professor Alex Elentukh discussed 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 “software team member” responsible for all relevant activities. Still, the verification task, including writing and executing test cases, is always well-pronounced. During the presentation, Professor Elentukh explored several industry-standard verification architectures and gladly respond to comments.

View the recordings of previous TECH Bytes on the Department of Computer Science events web page.

View all posts