-
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 21:43:16 +0200
Organization: ATMAN - ATM S.A.
Lines: 30
Message-ID: <pfugh4$37r$1@node2.news.atman.pl>
References: <c...@g...com>
<pfsues$c71$1@node1.news.atman.pl>
<d...@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: node2.news.atman.pl 1529005412 3323 176.115.84.250 (14 Jun 2018 19:43:32
GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Thu, 14 Jun 2018 19:43:32 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
Thunderbird/52.8.0
In-Reply-To: <d...@g...com>
Content-Language: en-US
Xref: news-archive.icm.edu.pl pl.comp.programming:212470
[ ukryj nagłówki ]On 6/14/2018 12:00 PM, Maciej Sobczak wrote:
>> Oni tam mają bardziej statystyczne podejście do
>> problemów jakości.
>
> Ciekawe. To może być związane z mindsetem hardware'owym
Raczej z przestrzenią fazową pobudzeń DUT. Jest tak ogromna że albo
jakims cudem zweryfikujesz ją formalnie albo popstrykasz po niej
statystycznie. Obawiam się ze rozrost systemów hardwareowych jest
obecnie poza deterministycznymi metodami weryfikacji.
> Niektóre standardy w SW nie przewidują użycia metod statystycznych, weryfikacja ma
być deterministyczna. Jest w tym trochę hipokryzji, gdy weryfikację robi się białkiem
(review), ale jeśli coś się automatyzuje, to metody statystyczne odpadają.
Niekoniecznie, weryfikacje mozna robić automatycznie mając wzorzec
wyższego poziomu. Jesli dziubdziasz super szybka procedure mnożenia
dwóch ogromnych liczb w Brainfuck to zawsze możesz użyć gotowej
bibliteki napisanej w sensowniejszym jezyku jako funkcji celu, czasem
trafia się nawet taka formalnie poprawna i udowodniona. Białko odpada.
> To podejście może się zmienić dzięki (albo raczej w celu) AI.
AI zaś wpadnie na pomysł że coś * zero to zawsze siedem. I nawet nie
zauważysz kiedy pojawią się takie wzorce zachowań ...
>> Dodatkowo weryfikacja funkcjonalna o ile pamiętam
>> jako side effect ma eliminację martwych gałęzi.
> To nie musi być side effect. To może być też celem samym w sobie, jeśli kod ma być
w całości pokryty testami (lub inną weryfikacją).
"W całości pokryty testami" w EDA to też często tylko procenty na
statystyce ;) Nie da się.
Najnowsze wątki z tej grupy
- 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?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-04-25 Kraków => AI Specialist <=
- 2024-04-25 Berlin => Solution Architect (secure communication and IoT solutions)
- 2024-04-25 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-04-25 Problemy TSMC cd
- 2024-04-25 Kraków => Senior PHP Developer (Symfony) <=
- 2024-04-25 Katowice => Service Leader/PLC Programmer with German <=
- 2024-04-25 Białystok => ERP Implementer <=
- 2024-04-25 O wisienkach
- 2024-04-25 Warszawa => Interactive/Experience Designer <=
- 2024-04-25 Białystok => Wdrożeniowiec ERP <=
- 2024-04-25 Wrocław => Head of Sales (IT services/products field) <=
- 2024-04-25 Berlin => IT Systems Administrator and Customer Support Engineer <=
- 2024-04-25 Warszawa => Technical Lead ( (Java Background)) <=
- 2024-04-25 Warszawa => Business Development Manager <=
- 2024-04-25 Warszawa => Spedytor międzynarodowy <=