Statements (114)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:software_framework
gptkb:Library |
gptkbp:bfsLayer |
3
|
gptkbp:bfsParent |
gptkb:DJ
gptkb:Library gptkb:Skrull |
gptkbp:allows |
custom generators
|
gptkbp:developed_by |
gptkb:John_Hughes
gptkb:Koen_Claessen |
gptkbp:first_released |
gptkb:1999
gptkb:2000 |
gptkbp:has |
gptkb:document
community support versioning system command line interface properties a large user community test framework features a rich set of combinators testable properties |
https://www.w3.org/2000/01/rdf-schema#label |
Quick Check
|
gptkbp:influenced_by |
gptkb:Erlang's_Prop_Er
random testing |
gptkbp:is |
gptkb:project
used for testing applications a tool for rapid prototyping a tool for compatibility testing a tool for endurance testing a tool for exploratory testing a tool for fault tolerance testing a tool for functional programming a tool for integration testing a tool for load testing a tool for maintainability testing a tool for performance testing a tool for regression testing a tool for reliability testing a tool for scalability testing a tool for security testing a tool for software correctness a tool for software reliability a tool for software testing a tool for stress testing a tool for system testing a tool for unit testing a tool for usability testing based on the concept of properties compatible with Cabal compatible with GHC compatible with Stack inspired by Quick Check in Erlang part of the Haskell Platform used for testing algorithms used for testing data structures used for testing libraries used in academia and industry widely used in Haskell community |
gptkbp:is_available_in |
open source
|
gptkbp:is_available_on |
Hackage
|
gptkbp:is_compatible_with |
gptkb:DJ
gptkb:state_highway gptkb:server |
gptkbp:is_documented_in |
gptkb:archive
Hackage Haskell wiki |
gptkbp:is_implemented_in |
gptkb:Library
|
gptkbp:is_integrated_with |
build systems
CI/ CD pipelines ID Es H Unit Quick Check-classes |
gptkbp:is_known_for |
automated testing
ease of use test case generation property testing high test coverage quick feedback |
gptkbp:is_part_of |
functional programming
continuous integration software development lifecycle test-driven development Haskell ecosystem Haskell libraries agile development software quality assurance |
gptkbp:is_similar_to |
gptkb:microprocessor
gptkb:High_School gptkb:Skrull |
gptkbp:is_supported_by |
Haskell community
Haskell libraries Haskell tooling Haskell frameworks |
gptkbp:is_tested_for |
unit tests
integration tests property tests |
gptkbp:is_used_by |
gptkb:physicist
gptkb:software software engineers |
gptkbp:is_used_for |
performance testing
regression testing functional testing property-based testing |
gptkbp:is_used_in |
gptkb:academic_research
software testing industry projects |
gptkbp:language |
gptkb:Library
|
gptkbp:provides |
test case generation
automatic test case generation random test case generation test case shrinking test case minimization |
gptkbp:supports |
generators
shrinking monadic testing |