11
Wichtige Fakten
- Rely: Developair provides a specification language based on EARS, to ensure the requirements' formality and standardization. Integrated in the solution, we provide a Smart Assistant for defining requirements: the generative AI-based assistant can automatically generate requirements in Rely from requirements in other formats or a description in natural language.
- Smart error detection: it provides double-stage feedback by detecting in real time simple errors, such as undefined variables or incompatible data types, and complex errors such as conflicts between requirements or potentially undesired behaviors, when launching the verification.
- Automatic test generation: -Symbolic AI Automatic Test Generator. - Automatic Test generation based on the requirements for: Statement, Decision, Decision/condition, MCDC and Boundary. - All the test cases generated are relevant and functional to ensure standard compliance
Kategorien
Software für Software-Design Test- & Verifikations-Software Methoden & Werkzeuge für sichere Embedded Systeme
Produkt Information
State-of-the-art modular Software solution to automate Verification & Validation activities of cyber-physical systems and embedded software.
For companies aiming at improving their software development process or at fulfilling functional safety standards in an efficient way. Our solution is certified by TÜV for several industry standards at all criticality levels.
Main features:
▪Smart Editor for software requirements with AI-powered assistant to speed up the requirements definition, while adding determinism to the process.
▪Symbolic AI for Automatic Verification of Requirements and generation of all the relevant test cases and scripts
▪Symbolic AI for Automatic Test Generator
▪Connectors to Testing Tools and ALMs/requirement management ...Download
Sehen Sie sich unser Produktvideo an
Developair Platform Video