University of Twente Student Theses
Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors
Sleurink, Matthias (2021) Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors.
|
PDF
168kB |
| Abstract: | VerCors is a toolset for static verification of concurrent and sequential programs. However, the error messages it creates for verification failures are not always the easiest to understand. The code involved may not be completely visible, and context from other methods may be missing completely. We have created a system to automatically generate a test case that displays how the error that VerCors finds can occur. Said system performs this task for the small but frequent subset of errors that can occur, the so-called ”nullpointer errors”. These occur when the code assumes that an object has a value, but in reality it does not (it is null). This generated test will allow more efficient use of the VerCors toolset for this error case. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/86828 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page