Prev: ode and fminsearch
Next: Image Straightening & Allighment
From: Walter Roberson on 15 Mar 2010 17:48
Remi wrote:
> I totally agree with you about this. I think I didn't made myself clear
> (english isn't my native language). The GUI I'm working on will be use
> internally by my boss and me only, so we do know how it works. I'm not
> trying to write a "bulletproof" software against idiots.
> The verification report is more about the math behind the software than
> the software itself, to insure that the displayed numbers are the good one.


You still need a third party to go through the code. You and your boss are
both "too close to the code": you know how each code segment is _intended_ to
work, which makes it very hard for you to catch implementation bugs.

And to verify the math, you really need someone with experience in numeric
analysis -- though you might be able to find some tools to help (though the
tools might require that you express the math in a new programming language.)
For example, there are symbolic calculators that can deal with interval
arithmetic. In my experience, it can be very... enlightening... to show just
how much of a change in the last decimal place can make to the outputs.
First  |  Prev  | 
Pages: 1 2
Prev: ode and fminsearch
Next: Image Straightening & Allighment