Master thesis presentation by Albin Olsson

Examiner: Martin Fabian, Automation

Abstract:
Saab AB is currently investigating code-based requirements for software verification. This is to enhance the quality and reliability of their products, ensuring they meet industry standards and best practices. The purpose of this master's thesis is to explore the potential of property-based testing in code-based requirements for hardware-near-software verification. The research aims to assess how well property-based testing methods can be applied to the unique verification challenges that arise in systems closely integrated with hardware. More specifically, the thesis will focus on developing a program to use this type of property-based testing and see if it can be effectively adapted to test code-based requirements for data that interacts directly with hardware. By conducting discussions with professionals in the field, as well as implementing the code to obtain the verification process a new program written in Python and used for hardware-near-software verification that will be adapted by Saab AB is presented in the thesis.

Welcome!

Albin and Martin