Why does python not have a mechanism for data hiding?
maric at aristote.info
Wed Jun 11 10:36:56 CEST 2008
Le Wednesday 11 June 2008 08:11:02 Russ P., vous avez écrit :
> 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.
More information about the Python-list