eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingMożliwość pokrycia testami dla wyrażeń logicznych › Re: Możliwość pokrycia testami dla wyrażeń logicznych
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.P
    OSTED!not-for-mail
    From: Sebastian Biały <h...@p...onet.pl>
    Newsgroups: pl.comp.programming
    Subject: Re: Możliwość pokrycia testami dla wyrażeń logicznych
    Date: Thu, 14 Jun 2018 07:28:45 +0200
    Organization: ATMAN - ATM S.A.
    Lines: 9
    Message-ID: <pfsues$c71$1@node1.news.atman.pl>
    References: <c...@g...com>
    NNTP-Posting-Host: 176.115.84.250
    Mime-Version: 1.0
    Content-Type: text/plain; charset=utf-8; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: node1.news.atman.pl 1528954140 12513 176.115.84.250 (14 Jun 2018 05:29:00
    GMT)
    X-Complaints-To: u...@a...pl
    NNTP-Posting-Date: Thu, 14 Jun 2018 05:29:00 +0000 (UTC)
    User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
    Thunderbird/52.8.0
    In-Reply-To: <c...@g...com>
    Content-Language: en-US
    Xref: news-archive.icm.edu.pl pl.comp.programming:212468
    [ ukryj nagłówki ]

    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.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: