ATheNA
Version 1.0.0.4 (397 KB) by
Federico Formica
ATheNA is a toolbox used to generate failure-revealing test cases combining automatically-generated and manually-defined fitness functions.
ATheNA is a Search-Based Software Testing framework that combines an automatically-generated and a manually-defined fitness functions to search for failure-revealing test cases. On one hand, the automatic fitness function is generated using S-TaLiRo directly from the requirement under analysis. On the other hand, the manual fitness function must be written by the user employing their domain knowledge and expertise on the model.
Cite As
Formica, Federico, et al. Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. arXiv, 2022, doi:10.48550/ARXIV.2207.11016.
MATLAB Release Compatibility
Created with
R2022a
Compatible with R2016a and later releases
Platform Compatibility
Windows macOS LinuxTags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
src
src/UpdateStaliro
src/fitness
Example
Example
doc
Version | Published | Release Notes | |
---|---|---|---|
1.0.0.4 | Reorganized files |
|
|
1.0.0.3 | Updated documentation |
|
|
1.0.0.2 | Updated documentation |
|
|
1.0.0.1 | Edited citation |
|
|
1.0 |
|