digg

Facebook Connect Join Digg About

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.

0 Comments

Digg DudeWhat is Digg?

Digg is a place for people to discover and share content from anywhere on the web. Digg surfaces the best stuff as submitted and voted on by the community. Take the Tour to learn more.