Goertzel, Karen [USA]<goertzel_ka...@bah.com> wrote:

> If determination of functional correctness were extended from "must
> operate as specified under expected conditions" to "must operate as
> specified under all conditions", functional correctness would necessarily
> require security, safety, fault tolerance, and all those other good things
> that make software dependable instead of just correct.

A much-too-late entry for the bumper sticker contest we had here a few
years back:

 "Works as you wish, under all condish."

(Okay, okay, so maybe that kind of abbreviating is a bit out of
style... by 70 years or so....)


Dave Aronson, software engineer or trainer for hire.
Looking for job (or contract) in Washington DC area.
See http://davearonson.com/ for resume & other info.
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.

Reply via email to