I agree.

On Friday 07 July 2006 13:34, Gregory Woodhouse wrote:
Software Tools Detect Bugs by Inferring Programmer's Intentions
University of Illinois at Urbana-Champaign (07/06/06) Kloeppel, James

University of Illinois computer science professor Yuanyuan Zhou and
her students have developed a suite of tools can that identify and
correct software bugs by inferring the intentions of the programmer.
The tools work by making observations of how the programmer writes
code. "Most bug-detection tools require reproduction of bugs during
execution," Zhou said. "The program is slowed down significantly and
monitored by these tools, which watch for certain types of behavior.
Most of our tools, however, work by only examining the source code
for defects, requiring little effort from the programmers." Code in
large programs is often copied and pasted, which, while saving a
significant amount of time, is a frequent cause of bugs. Using data
mining techniques, Zhou's CP-Miner searches through programs for copy-
pasted code and scans for consistent modifications. CP-Miner, which
can scan 3 million to 4 million lines of code in less than 30
minutes, has already found numerous bugs in some of the most popular
open-source applications. Since large programs often rely on implicit
rules and assumptions, Zhou and her students developed the PR-Miner
tool to determine when those rules have been broken. Like CP-Miner,
PR-Miner uses data-mining techniques and works very quickly. Zhou and
her students have also developed tools to help software keep running
even in the presence of bugs, such as the Rx recovery tool. Zhou
says, "Rx is avoidance therapy for software failure. If the software
fails, Rx rolls the program back to a recent checkpoint, and re-
executes the program in a modified environment." Another tool,
Triage, identifies and diagnoses the nature of a failure at the end-
user site and helps the programmer work to correct it.
Click Here to View Full Article




Gregory Woodhouse
[EMAIL PROTECTED]

"Judge a man by his questions not
his answers."   --Voltaire

-- 
Nancy Anthracite

Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Hardhats-members mailing list
Hardhats-members@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hardhats-members

Reply via email to