FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138732068> ?p ?o ?g. }

• W2138732068 endingPage "414" @default.
• W2138732068 startingPage "399" @default.
• W2138732068 abstract "Since testing is inherently incomplete, test selection has vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test cases with maximal impact at minimum cost. Existing coverage criteria for test suites are usually defined in terms of syntactic characteristics of the implementation under test or its specification. Typical black-box coverage metrics are state and transition coverage of the specification. White-box testing often considers statement, condition and path coverage. A disadvantage of this syntactic approach is that different coverage figures are assigned to systems that are behaviorally equivalent, but syntactically different. Moreover, those coverage metrics do not take into account that certain failures are more severe than others, and that more testing effort should be devoted to uncover the most important bugs, while less critical system parts can be tested less thoroughly. This paper introduces a semantic approach to black box test coverage. Our starting point is a weighted fault model (or WFM), which augments a specification by assigning a weight to each error that may occur in an implementation. We define a framework to express coverage measures that express how well a test suite covers such a specification, taking into account the error weight. Since our notions are semantic, they are insensitive to replacing a specification by one with equivalent behaviour. We present several algorithms that, given a certain minimality criterion, compute a minimal test suite with maximal coverage. These algorithms work on a syntactic representation of WFMs as fault automata. They are based on existing and novel optimization problems. Finally, we illustrate our approach by analyzing and comparing a number of test suites for a chat protocol." @default.
• W2138732068 created "2016-06-24" @default.
• W2138732068 creator A5036298038 @default.
• W2138732068 creator A5053065289 @default.
• W2138732068 creator A5070465089 @default.
• W2138732068 date "2006-01-01" @default.
• W2138732068 modified "2023-09-26" @default.
• W2138732068 title "A Semantic Framework for Test Coverage" @default.
• W2138732068 cites W1522465028 @default.
• W2138732068 cites W2004929506 @default.
• W2138732068 cites W2043603923 @default.
• W2138732068 cites W2110287808 @default.
• W2138732068 cites W2114642899 @default.
• W2138732068 cites W2119488343 @default.
• W2138732068 cites W2120713211 @default.
• W2138732068 cites W2130732685 @default.
• W2138732068 cites W2138732068 @default.
• W2138732068 cites W2150154671 @default.
• W2138732068 doi "https://doi.org/10.1007/11901914_30" @default.
• W2138732068 hasPublicationYear "2006" @default.
• W2138732068 type Work @default.
• W2138732068 sameAs 2138732068 @default.
• W2138732068 citedByCount "18" @default.
• W2138732068 countsByYear W21387320682012 @default.
• W2138732068 countsByYear W21387320682013 @default.
• W2138732068 countsByYear W21387320682015 @default.
• W2138732068 countsByYear W21387320682016 @default.
• W2138732068 countsByYear W21387320682017 @default.
• W2138732068 countsByYear W21387320682020 @default.
• W2138732068 countsByYear W21387320682023 @default.
• W2138732068 crossrefType "book-chapter" @default.
• W2138732068 hasAuthorship W2138732068A5036298038 @default.
• W2138732068 hasAuthorship W2138732068A5053065289 @default.
• W2138732068 hasAuthorship W2138732068A5070465089 @default.
• W2138732068 hasBestOaLocation W21387320682 @default.
• W2138732068 hasConcept C11413529 @default.
• W2138732068 hasConcept C119599485 @default.
• W2138732068 hasConcept C119857082 @default.
• W2138732068 hasConcept C126953365 @default.
• W2138732068 hasConcept C127313418 @default.
• W2138732068 hasConcept C127413603 @default.
• W2138732068 hasConcept C128942645 @default.
• W2138732068 hasConcept C134146338 @default.
• W2138732068 hasConcept C149091818 @default.
• W2138732068 hasConcept C151552104 @default.
• W2138732068 hasConcept C152877465 @default.
• W2138732068 hasConcept C162443782 @default.
• W2138732068 hasConcept C165205528 @default.
• W2138732068 hasConcept C165825675 @default.
• W2138732068 hasConcept C166957645 @default.
• W2138732068 hasConcept C175551986 @default.
• W2138732068 hasConcept C186846655 @default.
• W2138732068 hasConcept C199360897 @default.
• W2138732068 hasConcept C2777904410 @default.
• W2138732068 hasConcept C41008148 @default.
• W2138732068 hasConcept C53942775 @default.
• W2138732068 hasConcept C79581498 @default.
• W2138732068 hasConcept C95457728 @default.
• W2138732068 hasConceptScore W2138732068C11413529 @default.
• W2138732068 hasConceptScore W2138732068C119599485 @default.
• W2138732068 hasConceptScore W2138732068C119857082 @default.
• W2138732068 hasConceptScore W2138732068C126953365 @default.
• W2138732068 hasConceptScore W2138732068C127313418 @default.
• W2138732068 hasConceptScore W2138732068C127413603 @default.
• W2138732068 hasConceptScore W2138732068C128942645 @default.
• W2138732068 hasConceptScore W2138732068C134146338 @default.
• W2138732068 hasConceptScore W2138732068C149091818 @default.
• W2138732068 hasConceptScore W2138732068C151552104 @default.
• W2138732068 hasConceptScore W2138732068C152877465 @default.
• W2138732068 hasConceptScore W2138732068C162443782 @default.
• W2138732068 hasConceptScore W2138732068C165205528 @default.
• W2138732068 hasConceptScore W2138732068C165825675 @default.
• W2138732068 hasConceptScore W2138732068C166957645 @default.
• W2138732068 hasConceptScore W2138732068C175551986 @default.
• W2138732068 hasConceptScore W2138732068C186846655 @default.
• W2138732068 hasConceptScore W2138732068C199360897 @default.
• W2138732068 hasConceptScore W2138732068C2777904410 @default.
• W2138732068 hasConceptScore W2138732068C41008148 @default.
• W2138732068 hasConceptScore W2138732068C53942775 @default.
• W2138732068 hasConceptScore W2138732068C79581498 @default.
• W2138732068 hasConceptScore W2138732068C95457728 @default.
• W2138732068 hasLocation W21387320681 @default.
• W2138732068 hasLocation W21387320682 @default.
• W2138732068 hasLocation W21387320683 @default.
• W2138732068 hasOpenAccess W2138732068 @default.
• W2138732068 hasPrimaryLocation W21387320681 @default.
• W2138732068 hasRelatedWork W1480521623 @default.
• W2138732068 hasRelatedWork W1502756081 @default.
• W2138732068 hasRelatedWork W1510251747 @default.
• W2138732068 hasRelatedWork W2147774917 @default.
• W2138732068 hasRelatedWork W2152417349 @default.
• W2138732068 hasRelatedWork W2168625647 @default.
• W2138732068 hasRelatedWork W2401619241 @default.
• W2138732068 hasRelatedWork W2744936483 @default.
• W2138732068 hasRelatedWork W3152103604 @default.
• W2138732068 hasRelatedWork W2493457880 @default.
• W2138732068 isParatext "false" @default.
• W2138732068 isRetracted "false" @default.

• next