Automated software verification, traceability and standards compliance specialist LDRA has introduced the LDRA TBmanager Integration Package (TIP) for Dassault Systèmes’ No Magic Teamwork Cloud. This integration enhances model-based systems engineering, enabling engineers to perform low-level and high-level software requirements-based testing, which is essential for meeting functional safety standards.
Traditionally, modeling systems, software and hardware architectures, along with their behaviors, have been scattered across disconnected tools and documents. These fragmented systems made it challenging – if not impossible – to efficiently and accurately trace requirements through models, source code and verification activities and artifacts. Adding to the complexity was the inability to conduct a comprehensive impact analysis of changes to requirements, models or code across the entire process.
“Integrating our LDRA tool suite into the Dassault Systèmes No Magic Teamwork Cloud solves the complex problem of system change management and impact analysis by automatically and bidirectionally linking requirements, models, code, tests and the resulting artifacts,” said Ian Hennell, operations director at LDRA. “By extending the digital thread between software artifacts and software certification, any changes in the process or assets are easily traced and managed both upstream and downstream. This intelligent automation results in dramatic cost savings versus traditional disconnected activities and the manual production of development and testing artifacts.”
The streamlined workflow begins with engineers importing high- and low-level software requirements from No Magic Teamwork Cloud models into TBmanager. These requirements are then linked to software files, functions, test cases and test results, ensuring a seamless connection between development and verification.
When all associated tests for a requirement are passed, its verification status is automatically updated to reflect that it has been successfully verified. Any changes to requirements, along with their verification status, can then be exported back to No Magic Teamwork Cloud, maintaining consistency across systems.
As code, requirements and test cases evolve, engineers can rerun specific tests or regress the entire test suite as needed, ensuring continuous validation throughout the development process.