-
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.
Następne wpisy z tego wątku
- 14.06.18 12:00 Maciej Sobczak
- 14.06.18 21:43 Sebastian Biały
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-14 Będziemy się znowu zrzucać na elektryki...
- 2024-05-14 Pompa ciepla Kaisai
- 2024-05-14 Przyłączenie działki do sieci elektrycznej
- 2024-05-14 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2024-05-14 Kraków => SAP WM Consultant / Execution <=
- 2024-05-14 Wrocław => Business Development Manager - obszar bezpieczeństwa IT <
- 2024-05-14 Poznań => Interactive/Experience Designer <=
- 2024-05-14 Poznań => Interactive/Experience Designer <=
- 2024-05-14 Białystok => ERP Implementer <=
- 2024-05-14 Przerabianie na Indonezje
- 2024-05-14 Kielce => UX/UI Designer <=
- 2024-05-14 Warszawa => Sales Representative for Outsourcing Services <=
- 2024-05-14 Prowadzenie działalności za kogoś - to legalne?
- 2024-05-14 nieletni na plaży naturystów
- 2024-05-13 Działalność nierejestrowana/definicja sprzętu elektronicznego/misie i kolejki