Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023255246> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2023255246 abstract "It is a challenge to write test cases for software with blocking operations, i.e. operations that do not return until data become available. One should prevent the test case itself to block, whereas at the same time, one wants to test the blocking behaviour. Therefore, the standard solution is to write concurrent test cases, each call in the test case executed by a newly spawned process, together with a lot of boilerplate code. Manually crafted test cases can check that blocking calls are indeed blocked and unblocked as expected. Writing such test cases is error-prone and covering all interesting cases requires a lot of manually written tests.By using QuickCheck?s state machines one can automatically generate the test cases from a specification, but also here the boilerplate code is needed. We demonstrate that by using the component library in QuickCheck, an extension of the state machine formalism, the boilerplate code is no longer needed. Using the component library results in clear and concise specifications that are effectively used for testing. By using this new library, software with blocking operations can be tested much more thoroughly than by using a manual test approach." @default.
- W2023255246 created "2016-06-24" @default.
- W2023255246 creator A5017689034 @default.
- W2023255246 creator A5075791951 @default.
- W2023255246 creator A5087753819 @default.
- W2023255246 date "2013-09-28" @default.
- W2023255246 modified "2023-09-25" @default.
- W2023255246 title "Testing blocking operations with QuickCheck's component library" @default.
- W2023255246 cites W2030358379 @default.
- W2023255246 cites W2096425305 @default.
- W2023255246 cites W2098009255 @default.
- W2023255246 cites W2103999647 @default.
- W2023255246 cites W4244488020 @default.
- W2023255246 doi "https://doi.org/10.1145/2505305.2505310" @default.
- W2023255246 hasPublicationYear "2013" @default.
- W2023255246 type Work @default.
- W2023255246 sameAs 2023255246 @default.
- W2023255246 citedByCount "7" @default.
- W2023255246 countsByYear W20232552462015 @default.
- W2023255246 countsByYear W20232552462016 @default.
- W2023255246 countsByYear W20232552462017 @default.
- W2023255246 countsByYear W20232552462018 @default.
- W2023255246 countsByYear W20232552462019 @default.
- W2023255246 countsByYear W20232552462021 @default.
- W2023255246 crossrefType "proceedings-article" @default.
- W2023255246 hasAuthorship W2023255246A5017689034 @default.
- W2023255246 hasAuthorship W2023255246A5075791951 @default.
- W2023255246 hasAuthorship W2023255246A5087753819 @default.
- W2023255246 hasConcept C121332964 @default.
- W2023255246 hasConcept C144745244 @default.
- W2023255246 hasConcept C168167062 @default.
- W2023255246 hasConcept C31258907 @default.
- W2023255246 hasConcept C41008148 @default.
- W2023255246 hasConcept C97355855 @default.
- W2023255246 hasConceptScore W2023255246C121332964 @default.
- W2023255246 hasConceptScore W2023255246C144745244 @default.
- W2023255246 hasConceptScore W2023255246C168167062 @default.
- W2023255246 hasConceptScore W2023255246C31258907 @default.
- W2023255246 hasConceptScore W2023255246C41008148 @default.
- W2023255246 hasConceptScore W2023255246C97355855 @default.
- W2023255246 hasLocation W20232552461 @default.
- W2023255246 hasOpenAccess W2023255246 @default.
- W2023255246 hasPrimaryLocation W20232552461 @default.
- W2023255246 hasRelatedWork W2084166352 @default.
- W2023255246 hasRelatedWork W2135549181 @default.
- W2023255246 hasRelatedWork W2356342596 @default.
- W2023255246 hasRelatedWork W2364925730 @default.
- W2023255246 hasRelatedWork W2379533788 @default.
- W2023255246 hasRelatedWork W2623111183 @default.
- W2023255246 hasRelatedWork W2778450995 @default.
- W2023255246 hasRelatedWork W2900763005 @default.
- W2023255246 hasRelatedWork W1833210188 @default.
- W2023255246 hasRelatedWork W2583394830 @default.
- W2023255246 isParatext "false" @default.
- W2023255246 isRetracted "false" @default.
- W2023255246 magId "2023255246" @default.
- W2023255246 workType "article" @default.