Published October 31, 2023
| Version 2.3
Software
Open
PRTest (The Plain Random Tester)
Description
PRTest is a plain random tester for C: It natively executes the program under test and injects input values from a uniform distribution.
To reduce the size of a produced test suite, PRTest only keeps test inputs that explore new program branchings.
For more information, see article Thomas Lemberger. Plain random test generation with PRTest. International Journal on Software Tools for Technology Transfer (STTT), 2020. Springer. and the source-code at GitLab.
Files
prtest.zip
Files
(15.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7ee22201c2d396e92aabba9804d387a5
|
15.3 kB | Preview Download |
Additional details
Related works
- Is documented by
- Publication: 10.1007/s10009-020-00568-x (DOI)