If you're new here, subscribe to the RSS feed for updates on this topic. Or better yet, enter your email address below to get updates, news, and more!

Your email: 

Combining Dynamic Testing and Static Verification – Part 3

By , on April 29th, 2011 in Coding Standards

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 . . . → Read More: Combining Dynamic Testing and Static Verification – Part 3

Leave a comment   , , ,  
Related Posts:

Combining Dynamic Testing and Static Verification – Part 2

By , on April 27th, 2011 in Coding Standards

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 . . . → Read More: Combining Dynamic Testing and Static Verification – Part 2

One comment   , , , ,  
Related Posts:

Combining Dynamic Testing and Static Verification – Part 1

By , on April 25th, 2011 in Coding Standards

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 . . . → Read More: Combining Dynamic Testing and Static Verification – Part 1

Leave a comment   , , , ,  
Related Posts:
 
  Older Entries »