Szybkie sprawdzenie
| Deweloper (y) | Koena Claessena i Johna Hughesa |
|---|---|
| Pierwsze wydanie | 1999 |
| Wersja stabilna | 2.14.2 / 14 listopada 2020 r
|
| Magazyn | |
| Napisane w | Haskell |
| System operacyjny | Podobny do Uniksa , Windows |
| Dostępne w | język angielski |
| Typ | Testowanie oprogramowania |
| Licencja | W stylu BSD |
| Strona internetowa |
QuickCheck to biblioteka oprogramowania , w szczególności biblioteka kombinatorów , pierwotnie napisana w języku programowania Haskell , zaprojektowana w celu pomocy w testowaniu oprogramowania poprzez generowanie przypadków testowych dla zestawów testów – podejście znane jako testowanie właściwości .
Oprogramowanie
Jest kompatybilny z kompilatorem Glasgow Haskell Compiler (GHC) i interpreterem Haskell User's Gofer System ( Hugs ) . Jest to bezpłatne oprogramowanie typu open source wydane na licencji w stylu BSD .
W programie QuickCheck zapisywane są asercje dotyczące właściwości logicznych, które powinna spełniać funkcja . Następnie QuickCheck próbuje wygenerować przypadek testowy, który fałszuje takie twierdzenia. Po znalezieniu takiego przypadku testowego QuickCheck próbuje zredukować go do minimalnego podzbioru nieudanego, usuwając lub upraszczając dane wejściowe, które nie są potrzebne, aby test zakończył się niepowodzeniem.
Projekt rozpoczął się w 1999 roku. Oprócz tego, że jest używany do testowania zwykłych programów, QuickCheck jest również przydatny do tworzenia specyfikacji funkcjonalnej , dokumentowania tego, jakie funkcje powinny wykonywać i testowania implementacji kompilatora.
Istnieją ponowne implementacje QuickCheck dla kilku języków:
Linki zewnętrzne
- Szybka kontrola hackowania
Zobacz też
Dalsza lektura
- Claessen, Koen; Hughes, John (2002). „Testowanie programów monadycznych za pomocą QuickCheck” ( PostScript ) . Powiadomienia SIGPLAN . 37 (12): 47–59. CiteSeerX 10.1.1.111.1618 . doi : 10.1145/636517.636527 . Źródło 29 stycznia 2006 .
- Claessen, Koen i Hughes, John (2000). „QuickCheck: lekkie narzędzie do losowego testowania programów Haskell” (PDF) . Materiały z Międzynarodowej Konferencji Programowania Funkcjonalnego (ICFP), ACM SIGPLAN . Źródło 29 stycznia 2006 .
- Claessen, Koen i Hughes, John (2003). „Testowanie oparte na specyfikacji za pomocą funkcji QuickCheck” . Zabawa w programowanie, Podstawy informatyki, Jeremy Gibbons i Oege de Moor (red.) . Palgrave: 17–40. Zarchiwizowane od oryginału w dniu 4 lipca 2007 r . Źródło 29 stycznia 2006 .
- Claessen, Koen (sierpień 2004). „Szybka kontrola: losowe testowanie oparte na specyfikacji” . Prezentacja w Instytucie Letnim na temat trendów w testowaniu: teoria, techniki i narzędzia . Zarchiwizowane od oryginału ( PPT ) w dniu 30 kwietnia 2007 r . Źródło 29 stycznia 2006 .
- Claessen, Koen; Runciman, Colin; Chitil, Olaf i Hughes, John (2002). „Testowanie i śledzenie leniwych programów funkcjonalnych za pomocą QuickCheck i Hat” . Zaawansowane programowanie funkcjonalne: IV Szkoła Międzynarodowa, Notatki z wykładów z informatyki . Wydawnictwo Springera. 2638 : 59–99. Zarchiwizowane od oryginału ( PostScript ) w dniu 12 października 2006 r . Źródło 29 stycznia 2006 .