Automated tools streamline software test and certification

In this Product How-To design article, Jared Fry and Shan Bhattacharya of LDRA go into detail on how to use the company’s tool suite to analyze code to trace requirements, identify and fix standards violations, monitor code coverage, and rapidly and effectively bring reliable products to market. As software becomes increasingly important in safety-critical medical, automotive, aviation, and industrial …

Model-based testing of a state-machine-based PLC design

Software testing has the goal to detect failures i.e. to detect differences between the specification and the actual implementation of a module, subsystem or system under test. In [1] Utting and Legeard define model based testing as “the automation of the design of back-box tests” and further “…in addition white-box coverage metrics can be used to check which parts …