Rich Testing of Software
Status:
active
Start date:
2024-09-01
End date:
2026-08-31
RITES is researching a new paradigm for software testing, where tests are analyzed instead of executed using formal verification tools. The project will create a test analysis framework allowing the concept of rich tests -- tests which are enhanced with extended expressability. For example testing of non-functional constraints and automatic stubbing.
| First Name | Last Name | Title |
|---|---|---|
| Peter | Backeman | Associated Senior Lecturer |
| Partner | Type |
|---|---|
| ABB Robotics | Industrial |
| Arcticus Systems AB | Industrial |
