ATheNA

Versione 1.0.0.5 (426 KB) da Federico Formica
ATheNA is a toolbox used to generate failure-revealing test cases combining automatically-generated and manually-defined fitness functions.
0.0
(0)
12 download
Aggiornato 4 ott 2024

Visualizza la licenza

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.

Cita come

Formica, Federico, et al. “Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.” ACM Transactions on Software Engineering and Methodology, vol. 33, no. 2, Association for Computing Machinery (ACM), Dec. 2023, pp. 1–37, doi:10.1145/3624745.

Visualizza più stili

Formica, Federico, et al. “ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.” Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, vol. 90, ACM, 2024, pp. 587–91, doi:10.1145/3663529.3663804.

Visualizza più stili
Compatibilità della release di MATLAB
Creato con R2022b
Compatibile con R2016a e release successive
Compatibilità della piattaforma
Windows macOS Linux
Tag Aggiungi tag

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

src

src/UpdateStaliro

src/fitness

Example

Example

doc

Versione Pubblicato Note della release
1.0.0.5

Fixed license issue
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