From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Ada and software testing
Date: Fri, 16 Jul 2021 03:21:24 -0700 [thread overview]
Message-ID: <87pmvi36fv.fsf@nightsong.com> (raw)
In-Reply-To: scrlec$h26$1@dont-email.me
"G.B." <bauhaus@notmyhomepage.invalid> writes:
> So, what is a proper testing strategy once the programmers have found
> that the transitive closure of some call might sometimes incur externally
> caused behavior? Such as timeout, or ordering effect due to concurrency?
Depending on the situation, this may be an area to try model checking.
I've been wanting to try Alloy (alloytools.org) but so far have only
clicked around its web site a little. It looks interesting.
next prev parent reply other threads:[~2021-07-16 10:21 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-12 0:49 Ada and software testing Paul Rubin
2021-07-12 8:40 ` Dmitry A. Kazakov
2021-07-14 19:56 ` Paul Rubin
2021-07-12 16:14 ` Gautier write-only address
2021-07-12 16:41 ` Dmitry A. Kazakov
2021-07-14 19:32 ` Paul Rubin
2021-07-14 19:51 ` Dmitry A. Kazakov
2021-07-14 20:02 ` Paul Rubin
2021-07-15 7:27 ` Dmitry A. Kazakov
2021-07-16 10:01 ` G.B.
2021-07-16 10:21 ` Paul Rubin [this message]
2021-07-28 15:28 ` Paul Butcher
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox