Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > pl.comp.programming > #31590

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 07:28 +0200
Organization ATMAN - ATM S.A.
Message-ID <pfsues$c71$1@node1.news.atman.pl> (permalink)
References <c33beff5-216f-4353-b687-6dfbb6da61c9@googlegroups.com>

Show all headers | View raw

On 6/12/2018 12:46 PM, Maciej Sobczak wrote:
> Ktoś się na grupie zajmuje takimi tematami? :-)

Nieco z innej beczki: podobnymi problemami (czy dany kod jest osiągalny 
a jak jest to czy poprawny) zajmuje się dziedzina w HDL taka jak code 
coverage + randomizacje. Oni tam mają bardziej statystyczne podejście do 
problemów jakości. Dodatkowo weryfikacja funkcjonalna o ile pamiętam 
jako side effect ma eliminację martwych gałęzi. Temat na kilka 
doktoratów które w dodatku już zrobiono.

Back to pl.comp.programming | Previous | Next — Previous in thread | Next 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