-
Data: 2018-06-12 23:38:44
Temat: Re: [OT] Możliwość pokrycia testami dla wyrażeń logicznych
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Zaryzykuję odpowiedź...
> domyślam się, że coś takiego nie da się zrobić:
> 0001
> 0010
> 0100
> 1000
Takie coś *należy* zrobić, żeby przetestować ORa na 4 zmiennych, np.:
x = a||b||c||d;
To się nazywa "wędrująca jedynka" i jeszcze jak dołożysz do tego test z samymi
zerami:
0000
to w sumie masz pełne pokrycie MC/CD tego wyrażenia, czyli demonstrację, że każda
zmienna jest tam do czegoś potrzebna.
Analogicznie, w przypadku ANDa robi się "wędrujące zero" plus test z samymi
jedynkami.
Natomiast w bardziej złożonych wyrażeniach to nie wystarczy a jak zmienne są jakoś ze
sobą powiązane (np. wcześniejszymi wyrażeniami), to może się okazać, że pewnych
stanów w ogóle nie da się pokazać. I teraz pytanie, czy da się takie defekty wykryć.
> a w ogóle to taki testowacz to ma jakiś dostęp do (jaśnie) formuły
> (optymalnej)?
Co to jest formuła optymalna?
W takim testowaniu testowacz ma dostęp do kodu.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 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
- 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-31 Mały kogenerator gazowy
- 2024-05-30 Co to znaczy wer. eksportowa? Na przykładzie motoru Java 350 Perak
- 2024-05-31 Co to znaczy wer. eksportowa? Na przykładzie motoru Java 350 Perak
- 2024-06-01 karta SD po formacie odzyskiwanie zdjęć i filmów
- 2024-06-01 Modem LTE typu pendrive z agregacją pasm
- 2024-06-01 czy grad zbił wam szybę?
- 2024-06-01 odzysk z panela PV
- 2024-06-01 Sila sygnalu routera
- 2024-06-01 Warszawa => Spedytor międzynarodowy <=
- 2024-06-01 Warszawa => Senior Developer React Native <=
- 2024-06-01 Warszawa => Senior React Native Developer <=
- 2024-06-01 Warszawa => Interactive/Experience Designer <=
- 2024-06-01 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-06-01 Gdynia => Sales Executive <=
- 2024-06-01 Łódź => Salesperson - CRM Systems <=