April 29, 2011

In Combining Dynamic Testing and Static Verification – Part 2, we discussed the differences in static analysis techniques. In Part 3, we discuss the synergies between static verification and dynamic testing and the VectorCAST integration with Polyspace. There are some areas of overlap. For instance, you can still find a runtime error using dynamic testing with specific test case data – but you then need to use the specific combination... Continue reading »

Posted by Michael Rielly in Coding Standards

April 27, 2011

In Combining Dynamic Testing and Static Verification - Part 1, we discussed the differences between dynamic testing and static analysis. In Part 2, we discuss the differences in static analysis techniques and combining dynamic testing and static verification. What is static verification? Among the different static analysis techniques, static verification stands out for its ability to exhaustively detect runtime errors... Continue reading »

Posted by Michael Rielly in Coding Standards

April 25, 2011

This week's three part blog post will outline how to leverage the benefits of dynamic testing and static verification. The salient features of both software testing techniques are presented and how they are best implemented in automated tools. It will explain how both of these techniques complement each other and how to leverage the synergies between them. Lastly, we present the VectorCAST integration with MathWorks® Polyspace®.... Continue reading »

Posted by Michael Rielly in Coding Standards

Pages