Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > pl.comp.programming > #31590
| Path | csiph.com!feeder.erje.net!1.eu.feeder.erje.net!news.unit0.net!news.nask.pl!news.nask.org.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.POSTED!not-for-mail |
|---|---|
| From | Sebastian Biały <heby@poczta.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> (permalink) |
| References | <c33beff5-216f-4353-b687-6dfbb6da61c9@googlegroups.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 | usenet@atman.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 | <c33beff5-216f-4353-b687-6dfbb6da61c9@googlegroups.com> |
| Content-Language | en-US |
| Xref | csiph.com pl.comp.programming:31590 |
Show key headers only | 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
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