Re: Możliwość pokrycia testami dla wyrażeń logicznych

eGospodarka.pl › Grupy › pl.comp.programming › Możliwość pokrycia testami dla wyrażeń logicznych › Re: Możliwość pokrycia testami dla wyrażeń logicznych

X-Received: by 2002:ac8:70ce:: with SMTP id g14-v6mr57671qtp.6.1528970406734; Thu, 14
Jun 2018 03:00:06 -0700 (PDT)
X-Received: by 2002:ac8:70ce:: with SMTP id g14-v6mr57671qtp.6.1528970406734; Thu, 14
Jun 2018 03:00:06 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!takemy.news.telefonica.de!telefonica.de!newsfeed.xs4all.nl!newsfeed7.news
.xs4all.nl!85.12.16.70.MISMATCH!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!
peer03.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!
news.highwinds-media.com!h2-v6no1024992qtp.0!news-out.google.com!a20-v6ni250qtj
.1!nntp.google.com!h2-v6no1024987qtp.0!postnews.google.com!glegroupsg2000goo.go
oglegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 14 Jun 2018 03:00:06 -0700 (PDT)
In-Reply-To: <pfsues$c71$1@node1.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.244.42;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 194.9.244.42
References: <c...@g...com>
<pfsues$c71$1@node1.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d...@g...com>
Subject: Re: Możliwość pokrycia testami dla wyrażeń logicznych
From: Maciej Sobczak <s...@g...com>
Injection-Date: Thu, 14 Jun 2018 10:00:06 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2725
X-Received-Body-CRC: 3886075573
Xref: news-archive.icm.edu.pl pl.comp.programming:212469
[ ukryj nagłówki ]

> Oni tam mają bardziej statystyczne podejście do
> problemów jakości.

Ciekawe. To może być związane z mindsetem hardware'owym, gdzie awarie wynikają nie
tylko z bugów, ale też z defektów produkcyjnych i ze starzenia materiału. Może
uznali, że wszystkie defekty można tak traktować.
Trudno się z tym całkiem zgodzić, bo defekty projektowe są systematyczne, więc
traktowanie ich statystykami niezupełnie pasuje do problemu.

Niektóre standardy w SW nie przewidują użycia metod statystycznych, weryfikacja ma
być deterministyczna. Jest w tym trochę hipokryzji, gdy weryfikację robi się białkiem
(review), ale jeśli coś się automatyzuje, to metody statystyczne odpadają.
To podejście może się zmienić dzięki (albo raczej w celu) AI.

> Dodatkowo weryfikacja funkcjonalna o ile pamiętam
> jako side effect ma eliminację martwych gałęzi.

To nie musi być side effect. To może być też celem samym w sobie, jeśli kod ma być w
całości pokryty testami (lub inną weryfikacją).

--
Maciej Sobczak * http://www.inspirel.com