From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:ac8:6b0f:: with SMTP id w15mr20164987qts.366.1626106480257;
        Mon, 12 Jul 2021 09:14:40 -0700 (PDT)
X-Received: by 2002:a25:aa09:: with SMTP id s9mr68267510ybi.165.1626106479961;
 Mon, 12 Jul 2021 09:14:39 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.uzoreto.com!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 12 Jul 2021 09:14:39 -0700 (PDT)
In-Reply-To: <871r84cq4r.fsf@nightsong.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:1c51:57ed:40df:3086;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:1c51:57ed:40df:3086
References: <871r84cq4r.fsf@nightsong.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5bc2434a-6784-47d6-ba66-50edff4f80f0n@googlegroups.com>
Subject: Re: Ada and software testing
From: Gautier write-only address <gautier_niouzes@hotmail.com>
Injection-Date: Mon, 12 Jul 2021 16:14:40 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1678
Xref: reader02.eternal-september.org comp.lang.ada:62375
List-Id: <comp.lang.ada>

Le lundi 12 juillet 2021 =C3=A0 02:50:17 UTC+2, Paul Rubin a =C3=A9crit=C2=
=A0:

> Q2. Is fuzz testing an important part of Ada testing, and does it=20
> tend to find many bugs?=20

You can combine the power of fuzzing with the power of Ada's strong typing,=
 implying standard Ada run-time checks (e.g. range checks), plus a compiler=
's own checks (e.g. GNAT's validity checks).

Read the following article for details: https://blog.adacore.com/running-am=
erican-fuzzy-lop-on-your-ada-code