digg

Join DiggAbout

Discover the best of the web!
Learn more about Digg by taking the tour.

Software test tools boast Boulean satisfiability

linuxdevices.com — The test toolsuite vendor claims that Boulean satisfiability ("SAT") principles have not previously been applied to software quality testing. The process involves breaking down software operations into Boolean operators (AND, NOT, OR, etc.) and values (TRUE, FALSE), and takes about 150 percent as long as compiling the code.

Bury
show profanity settings
expand all
  •  

    Login or register to add a comment

    Create a new account or login to join in the conversation on Digg. You'll also be able to Digg stories to help promote things you like.


© Digg Inc. 2008 — Content posted by Digg users is dedicated to the public domain.
DIGG, DIGG IT, DUGG, DIGG THIS, Digg graphics, logos, designs, page headers, button icons, scripts, and other service names are the trademarks of Digg Inc.