-
Data: 2018-06-12 12:46:12
Temat: Możliwość pokrycia testami dla wyrażeń logicznych
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Całkiem ta grupa zdechła, czy jest jeszcze nadzieja? :-)
Jest taki temat jak generowanie testów i są też różne stopnie pokrycia testami, które
się definiuje (i wymaga) w rygorystycznych procesach. Okazuje się jednak, że
wyrażenie logiczne można napisać tak źle, że nie będzie możliwe wygenerowanie dla
niego testów z odpowiednim pokryciem - coś jakby odpowiednik nieosiągalnego kodu gdy
np. jakaś gałąź warunkowa nigdy się nie wykonuje.
Da się w miarę prosto wygenerować testy na sprawdzenie, czy dane wyrażenie można
pokryć właściwymi testami:
http://inspirel.com/articles/Implementing_Logic_Reac
hability_Checks.html
Ktoś się na grupie zajmuje takimi tematami? :-)
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 12.06.18 20:01 denat 'POPIS/EU
- 12.06.18 23:38 Maciej Sobczak
- 13.06.18 21:02 denat 'POPIS/EU
- 13.06.18 21:22 denat 'POPIS/EU
- 14.06.18 07:28 Sebastian Biały
- 14.06.18 12:00 Maciej Sobczak
- 14.06.18 21:43 Sebastian Biały
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-29 Warszawa => Google Ads Freelancer <=
- 2024-04-28 wymiana przewodu od licznika do mieszkania
- 2024-04-28 Lustra w maszynie ASML
- 2024-04-28 Elektryk przytarł podłogę
- 2024-04-27 Nowy, "szybki "komputer AsRock nie posiada modułu TPM
- 2024-04-27 Nowy, "szybki "komputer AsRock nie posiada modułu TPM
- 2024-04-27 Warszawa => Inżynier DevOps (projekt JP) <=
- 2024-04-27 Warszawa => Senior Account Manager (on-site) <=
- 2024-04-27 Wrocław => Dyrektor Sprzedaży (branża usług/produktów IT) <=
- 2024-04-27 Warszawa => Sales Representative for Outsourcing Services <=
- 2024-04-27 Chrzanów => Administrator i wdrożeniowiec Lotus Notes/Domino <=
- 2024-04-27 Ja pierdolę...
- 2024-04-27 Ryby i kawitacja
- 2024-04-27 Zabrze => Junior HelpDesk <=
- 2024-04-27 Katowice => Administrator IT - Wirtualizacja i Konteneryzacja <=