December 9, 2012

Automating Software Testing Using Program Analysis


I was thrilled by this post guys over Automating Software Testing Using Program Analysis!!  It's superb!! I would really want people to read this.. especially those who are into automated software testing....


During the last decade, code inspection for standard programming errors has
largely been automated with static code analysis. Commercial static program analysis tools are now routinely used in many software development organizations.

These tools are popular because they find many software bugs, thanks to
three main ingredients: they’re automatic, they’re scalable, and they check many properties.
Intuitively, any tool that can automatically check millions of lines of code against hundreds of coding rules is bound to find on average, say, one bug every thousand lines of code.

Three new tools combine techniques from static program analysis, dynamic analysis, model checking, and automated constraint solving to automate test generation in varied application domains.

Read on more...


Please download PDF from this link (1.03 MB)

Source of this article


No comments:

Post a Comment