LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools, has partnered with PTC to offer an integrated product lifecycle management and software testing solution for the embedded real-time, safety- and security-critical markets.

The mission for PTC Windchill software is to help innovative industries to advance the development, governance and maintenance of software by providing a unified solution for requirements, quality, and application lifecycle management. The integration with the LDRA tool suite with its concept of traceable, bidirectionally linked work items seamlessly extends Windchill’s enterprise capabilities to embedded software analysis and testing.

The combined solution enables users to trace from requirements to source code analyses and tests, and vice versa (Figure 1). It leverages the LDRA tool suite to perform static analysis in the target or the host development environment, and dynamic analysis under simulation or on the target. Analysis outcomes are reflected in the Windchill user interface, providing insight into the progress of development, and the code quality, complexity, and stability of the evolving system. Evidential artefacts can be generated at any time by either solution.

Figure 1: This unified solution demonstrates traceability between requirements and development artefacts

Key Benefits

provides a product lifecycle management (PLM) framework for the software validation and verificationof real-time embedded systems
identifies code flaws using the LDRA tool suite, and logs, prioritizes, assigns and tracks them inWindchill
delivers end-to-end bidirectional traceability from requirements, design, code and tests artefacts
rapidly performs automated static analysis, dynamic analysis, unit testing, structural coverage, testcase creation and on-target hardware execution
greatly increases the efficiency of software testing and reduces cost through automation and toolcollaboration
seamlessly performs post execution analysis and reviews with unique perspectives from both the LDRAtool suite and Windchill
supports qualification and certification in accordance with functional safety standards includingDO-178B/C, ISO 26262, IEC 61508, and IEC 62304
imports Windchill PLM requirements and test cases into the LDRA tool suite, complete withcomprehensive traceability links
exports LDRA tool suite test cases, verification status, and execution test results to Windchill
integrates MISRA, CERT and other coding standards into development environments that requireevidential artefacts relating to safety or security standards
automates test case, harness and stub generation for robustness testing
exposes high-risk areas and defects by way of automated code analysis and report generation
is supported by Windchill’s change and configuration management
creates traceability links using drag-and-drop
provides Object Code Verification (OCV) for the most demanding safety-critical applications
is underpinned by LDRA’s ISO 9001:2015 certified Quality Management System, and the LDRA toolsuite’s TÜV SÜD and SGS-TÜV Saar certification

Background and key benefits