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

Database Testing Tutorials

Database testing/Back-end testing is very important. 

I have summarized a set of tutorials that could be handy fr testers.

If there is any bug in the database that bug may cause a severe problems like – dead-locking, data corruption, poor performance etc. These bugs are very difficult to find in manual testing / front-end testing.

So for all-rounder testers, knowledge of Database testing/SQL testing / Backend testing is very important.

Below are some free Database testing tutorials, through which you will learn about the following:

1. Why DB testing is important?
2. How DB testing is carried out?
3. SQL queries

Tutorial Database Testing using SQL - Part1

SQL For Testers – Part 2

SQL interview questions for Testers

Source