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,29d8139471e3f53e X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!y3g2000vbm.googlegroups.com!not-for-mail From: Cyrille Newsgroups: comp.lang.ada Subject: Re: Preventing type extensions Date: Wed, 22 Sep 2010 10:28:04 -0700 (PDT) Organization: http://groups.google.com Message-ID: <5c0d7798-ba09-4bd0-a28f-f1b028cce927@y3g2000vbm.googlegroups.com> References: <87iq2bfenl.fsf@mid.deneb.enyo.de> <874odv9npv.fsf@ludovic-brenta.org> <87y6b7cedd.fsf@mid.deneb.enyo.de> <66a3704c-54f9-4f04-8860-aa12f516134b@t3g2000vbb.googlegroups.com> <87d3sib44t.fsf@mid.deneb.enyo.de> <134q4k2ly2pf4$.17nlv1q6q5ivo.dlg@40tude.net> <4c8dec8e$0$6990$9b4e6d93@newsspool4.arcor-online.net> <8f6cceFrv2U1@mid.individual.net> <135a7dc9-3943-45e4-884b-3cc6bce3db0a@q18g2000vbm.googlegroups.com> <81799aab-a2e8-4390-8f42-abceaa5fc032@m1g2000vbh.googlegroups.com> NNTP-Posting-Host: 212.99.106.125 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1285176485 18733 127.0.0.1 (22 Sep 2010 17:28:05 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 22 Sep 2010 17:28:05 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: y3g2000vbm.googlegroups.com; posting-host=212.99.106.125; posting-account=bNhsVwoAAAB6XmNPWgYcbUm6npIwL2C4 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.9.2.10) Gecko/20100914 Firefox/3.6.10 ( .NET CLR 3.5.30729),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:14190 Date: 2010-09-22T10:28:04-07:00 List-Id: On Sep 22, 10:01=A0am, "J-P. Rosen" wrote: > Ada is unique in that you can have true methods (aka primitive > operations) that belong to a specific type, and class-wide operations > that are unique for a whole subtree. what is unique about that? In C++ you also have methods and other subprograms taking a class as a parameter. I don't see any fundamental difference between the latter and what you call "classwide operations" (and by which I suppose you simply mean a subprogram with classwide parameters, right?) > Because they are unique, coverage testing drops from N to 1. No idea of what you are talking about... I suppose this is a reference to what OOTiA calls "pessimistic testing" but I still don't understand your claim. > >> For inlining, I was referring to the corresponding chapter of OOTiA > > > That's what I supposed.... There is little to be reused in that part > > of the document... > > I agree that there is nothing here specific to OO. However, inlining is > a problem when you need level A (code) coverage, because it creates > often dead code or hard to test paths. Level A requires statements+mcdc coverage. inlining doesn't impact any of those coverage metrics. It might impact object coverage, which can be used as an alternative method (with additional work to show equivalene with the aboce mentioned metrics) and it might also impact source-to-object traceability analysis. This is just a potentially complicating factor that you have to take into account when you make your plans and define your coding standard... > > It is not the case. There is very little of OOTiA left in the OO > > supplement. It was an input to the process but the subcommittee soon > > realized that little could be reused. For one thing, most of the > > material is at the level of "coding standard" material and thus not at > > the right level for a standard such as DO-178. > > Sure. I would expect DO-178C to be more objectives-driven, while the > OOTiA was more about processes and issues. Can't OOTiA be considered as > a document that explores possible ways to achieve the objectives of DO-17= 8C? not really. OOTiA raised all the issues that people had in mind when the document was written. Most of the issues come from either - people from the certif community not knowing OO very well (the fear factor) - people from the OO community not mastering DO-178