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

Tenders are invited for Software Validation Using Artificial Intelligence Techniques to Automatically Generate Tests - Expro plus "Validation" in ECSS-E-ST-40 is the "process to confirm that the requirements are correctly andcompletely implemented in the finalproduct". 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 thesoftware tests. All the tests performed during the development of the Software will be consideredincluding unit tests, integration tests and validation tests. Each type of test could potentially use adifferent technique, e.g. fuzzy logic for unit tests, Bayesian networks for integration tests andMachine Learning/Deep Learning for validation tests.This activity encompasses the following tasks:- Analyze existing testing approaches executed during the development of critical softwareincluding 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 mostappropriatetechnique to use- Selection of the testing and AI techniques, identification of corresponding Use Cases. TheUse Cases shall coverboth manual written and automatically generated code (from Model-Based Engineering tool and Matlab/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 CasesSoftware shall be delivered under ESA Software Community Licence. Tender Link : https://esastar-publication-ext.sso.esa.int/ESATenderActions/filter/open