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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: How to get Ada to ?cross the chasm?? Date: Fri, 27 Apr 2018 16:20:48 -0500 Organization: JSA Research & Innovation Message-ID: References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com> <87k1su7nag.fsf@nightsong.com> <87po2la2qt.fsf@nightsong.com> Injection-Date: Fri, 27 Apr 2018 21:20:49 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="14944"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:51752 Date: 2018-04-27T16:20:48-05:00 List-Id: "Paul Rubin" wrote in message news:87po2la2qt.fsf@nightsong.com... ... > Maybe I'm wrong, but I don't see a breakout. I haven't seen any chance of a breakout since 1990. I just want the ability to do the right thing for pretty much everyone who programs. History says that they'll ignore it anyway, and that none of it will matter anyway when the robots slaughter us all. :-) >> But GUI programs are almost untestable in any repeatable way. > > Eh? Of course they're not. You produce a GUI event stream similar to > what an actual user would produce, and check that the program does the > right thing. There are many tools for this. I answered that in the next sentence. Those "streams of events" are only usable when there is no significant change to the GUI from when the test was created. Move a button or menu entry and the test has to be built all over again. Building tests is hard in general, and doing so more than once is a non-starter. (There's a reason that the ACATS is such a big deal to Ada developers.) >> That works in all of those cases because Ada detects a lot of problems >> at compile-time or runtime, so very little could happen that would >> actually be dangerous. > > I guess it depends what you are trying to do. Absolutely. I wouldn't want to do this with banking software or an auto safety system, but as you previously said, most software isn't going to kill or main or bankrupt someone. Nothing I've done ever has been in that category, and I doubt that will change. Randy.