piclist 2009\02\17\010445a >
Thread: Agile programming (was Re: [P|C] Banksel)
face BY : Vitaliy email (remove spam text)

Olin Lathrop wrote:
> All this correctness proving seems so pointless because it can only prove
> the correctness of trivial code, and then only what you said it's supposed
> to do, not what it's really supposed to do.

I'm working on a project where trivial checks would be quite useful. For
example, I'm constantly messing up timings when I'm making unrelated changes
to the code logic. Manual testing is proving to be very tedious (I have to
check several scenarios), so I'm seriously considering writing a test
utility that would make sure that the changes I make don't break the


<AE47B5B87A8B41D6A3A612E0A099F626@ws11> 7bit

See also: www.piclist.com/techref/microchip/devprogs.htm?key=programming
Reply You must be a member of the piclist mailing list (not only a www.piclist.com member) to post to the piclist. This form requires JavaScript and a browser/email client that can handle form mailto: posts.
Subject (change) Agile programming (was Re: [P|C] Banksel)

month overview.

new search...