SOCRaTEs Tool
| Main Authors: | Claudio Menghi, Shiva Nejat, Khouloud Gaaloul, Lionel C. Briand |
|---|---|
| Format: | info software |
| Bahasa: | eng |
| Terbitan: |
, 2019
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3262095 |
Daftar Isi:
- SOCRaTeS automatically converts functional requirements into oracles specified in Simulink. The oracles evaluate test outputs of the CPS model in an automated and online manner and generate fitness values that provide engineers with a degree of satisfaction or failure for each test input. Engineers can stop running a test in the middle when SOCRaTeS concludes that the test fitness is going to remain below a given threshold for the rest of its execution.