Tenders Are Invited For Software Validation Using Artificial Intelligence Techniques To Automatically Generate Tests

Tenders are invited for Software Validation Using Artificial Intelligence Techniques to Automatically Generate Tests. Open Date: 28/04/2025 10:33 CET Closing Date: 27/05/2025 13:00 CET Price Range: 200-500 KEURO "Validation" in ECSS-E-ST-40 is the "process to confirm that the requirements are correctly and completely implemented in the final product". Validation is meant to systematically acquire proof that the software product correctly and completely fulfills the relevant applicable requirements, both functional and non-functional. According to ECSS-E-ST-40, validation is to be carried out by test. Testing is an important activity that can be performed at different levels: unit (test of individual software unit), integration (testing in which software components, hardware components, or both are combined and tested to evaluate the interaction between them) and overall software product (for closing requirements). Testing requires significant efforts transcribed in planning and budget. The activity is aiming at exploring Artificial Intelligence (AI) techniques to automatically generate the software tests. All the tests performed during the development of the Software will be considered including unit tests, integration tests and validation tests. Each type of test could potentially use a different technique, e.g. fuzzy logic for unit tests, Bayesian networks for integration tests and Machine Learning/Deep Learning for validation tests. This activity encompasses the following tasks:- Analyze existing testing approaches executed during the development of critical software including the identification of tools and Model-Based Software Engineering (MBSE) environments- Analyze the AI techniques in order to identify for each type of tests, which is the most appropriate technique to use- Selection of the testing and AI techniques, identification of corresponding Use Cases. The Use Cases shall cover both manual written and automatically generated code (from Model-Based Engineering tool and Mat lab/Simulink)- Develop the AI models corresponding to the selected techniques with possible integration in a MBSE environment- Evaluation of the performance through the application on the selected Use Cases Software shall be delivered under ESA Software Community License. Tender Link : https://esastar-publication-ext.sso.esa.int/ESATenderActions/filter/open