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

From	Sebastian Biały <heby@poczta.onet.pl>
Newsgroups	pl.comp.programming
Subject	Re: Możliwość pokrycia testami dla wyrażeń logicznych
Date	2018-06-14 21:43 +0200
Organization	ATMAN - ATM S.A.
Message-ID	<pfugh4$37r$1@node2.news.atman.pl> (permalink)
References	<c33beff5-216f-4353-b687-6dfbb6da61c9@googlegroups.com> <pfsues$c71$1@node1.news.atman.pl> <dc96cc06-fe40-49cf-af2a-1b31825342ac@googlegroups.com>

Show all headers | View raw

On 6/14/2018 12:00 PM, Maciej Sobczak wrote:
>> Oni tam mają bardziej statystyczne podejście do
>> problemów jakości.
> 
> Ciekawe. To może być związane z mindsetem hardware'owym

Raczej z przestrzenią fazową pobudzeń DUT. Jest tak ogromna że albo 
jakims cudem zweryfikujesz ją formalnie albo popstrykasz po niej 
statystycznie. Obawiam się ze rozrost systemów hardwareowych jest 
obecnie poza deterministycznymi metodami weryfikacji.

> 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ą.

Niekoniecznie, weryfikacje mozna robić automatycznie mając wzorzec 
wyższego poziomu. Jesli dziubdziasz super szybka procedure mnożenia 
dwóch ogromnych liczb w Brainfuck to zawsze możesz użyć gotowej 
bibliteki napisanej w sensowniejszym jezyku jako funkcji celu, czasem 
trafia się nawet taka formalnie poprawna i udowodniona. Białko odpada.

> To podejście może się zmienić dzięki (albo raczej w celu) AI.

AI zaś wpadnie na pomysł że coś * zero to zawsze siedem. I nawet nie 
zauważysz kiedy pojawią się takie wzorce zachowań ...

>> 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ą).

"W całości pokryty testami" w EDA to też często tylko procenty na 
statystyce ;) Nie da się.

Back to pl.comp.programming | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Możliwość pokrycia testami dla wyrażeń logicznych Maciej Sobczak <see.my.homepage@gmail.com> - 2018-06-12 03:46 -0700
  [OT] Możliwość pokrycia testami dla wyrażeń logicznych denat 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2018-06-12 20:01 +0200
    Re: [OT] Możliwość pokrycia testami dla wyrażeń logicznych Maciej Sobczak <see.my.homepage@gmail.com> - 2018-06-12 14:38 -0700
      Re: [OT] Możliwość pokrycia testami dla wyrażeń logicznych denat 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2018-06-13 21:02 +0200
        Re: [OT] Możliwość pokrycia testami dla wyrażeń logicznych denat 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2018-06-13 21:22 +0200
  Re: Możliwość pokrycia testami dla wyrażeń logicznych Sebastian Biały <heby@poczta.onet.pl> - 2018-06-14 07:28 +0200
    Re: Możliwość pokrycia testami dla wyrażeń logicznych Maciej Sobczak <see.my.homepage@gmail.com> - 2018-06-14 03:00 -0700
      Re: Możliwość pokrycia testami dla wyrażeń logicznych Sebastian Biały <heby@poczta.onet.pl> - 2018-06-14 21:43 +0200

csiph-web