From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,cfc5097715e8ed04 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!newscon02.news.prodigy.com!prodigy.net!newsfeed.cwix.com!news.binc.net!kilgallen From: Kilgallen@SpamCop.net (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: n versioning is there any other better approach Date: 21 Apr 2006 08:45:21 -0500 Organization: LJK Software Message-ID: <7cWIiIwG$u01@eisner.encompasserve.org> References: <1145599506.289672.274530@u72g2000cwu.googlegroups.com> NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1145627037 9249 192.135.80.34 (21 Apr 2006 13:43:57 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Fri, 21 Apr 2006 13:43:57 +0000 (UTC) Xref: g2news2.google.com comp.lang.ada:3885 Date: 2006-04-21T08:45:21-05:00 List-Id: In article <1145599506.289672.274530@u72g2000cwu.googlegroups.com>, "Ananth the Boss" writes: > we are developing safety critical flight software by n version > approach.also we validate performance of flight software by comparing > results of software with that of another version(autonomous).how can > this be effective.ther may b a chance that autonomous may b wrong.since > 'n' times the same task of development has 2 b carried out time and > labor involved is wasted in this strategy. 1. I don't think you will have much luck with such inattention to spelling and capitalization. (Ada does not require the latter, but documentation does. 2. Formal Proof is a different approach from multiple versions. 3. Multiple versions do not count as multiple versions of they were done by the same team. Probably they should also not be done in the same programming language.