-
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
- 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?
- Ideologia Polskiego Programisty wer.3
- Ada-Europe Conference - 6 March Extended Final Deadline
- Szybkie pytanko do fachowców od Bourne shella
Najnowsze wątki
- 2024-03-28 Amnesty International o izraelskim apartheidzie wobec Palestynczyków
- 2024-03-28 Warszawa => Senior Rust Software Engineer <=
- 2024-03-28 Przegląd po terminie
- 2024-03-28 Wrocław => Handlowiec w branży IT <=
- 2024-03-28 Warszawa => International freight forwarder <=
- 2024-03-28 Warszawa => Technical Tribe Leader (Java Background) <=
- 2024-03-28 Eltec nie zyje?
- 2024-03-28 Katowice => Application Engineer for Service and Deployments <=
- 2024-03-28 Wrocław => Mid PHP Developer (Laravel) <=
- 2024-03-28 Vectra 'Plan domowy bez limitu'
- 2024-03-28 Szczecin => Starszy inżynier oprogramowania (Rust) <=
- 2024-03-28 Zielona Góra => Spedytor międzynarodowy <=
- 2024-03-28 Wnuczek z Wehrmachtu idzie na rympal.
- 2024-03-28 Bażanowice => Inżynier Industrializacji - Elektronik <=
- 2024-03-28 Warszawa => Senior Account Manager <=