Re: Why does python not have a mechanism for data hiding?

Le Wednesday 11 June 2008 08:11:02 Russ P., vous avez écrit :
http://www.sofcheck.com

Here is an excerpt from their website:

"SofCheck’s advanced static error detection solutions find bugs in
programs before programs are run. By mathematically analyzing every
line of software, considering every possible input, and every path
through the program, SofCheck’s solutions find any and all errors that
cause a program to crash or produce an undefined result."

Don't mix commercial discourse with technical, it desserves your point.
Theoretically, wether a program has bugs or not is not computable. Static
analysis as they imply is just nonsense.

AFAIK, the efforts needed to make good static analysis are proven, by
experience, to be at least as time consuming than the efforts needed to make
good unit and dynamic testing.

--
_____________

Maric Michaud
.