Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014568871> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2014568871 endingPage "211" @default.
- W2014568871 startingPage "189" @default.
- W2014568871 abstract "An existing statechart testing method developed by the authors allows a tester to show the equivalence of the behaviour of an implementation of some software system to its Harel statechart specification, by testing. This requires a rather large test set and satisfaction of certain requirements for both a specification and an implementation. Introduction of additional constraints permits reduction in a test set size, without weakening of the conclusions obtained by testing. This paper describes how a test set can be derived from a relatively big statechart and investigates the role of a few specific constraints in the reduction of test set size, depending on where in the system structure these constraints are used. The main contribution of the paper is a demonstration that enforcing relatively weak constraints in the right place of a system's structure makes it possible to reduce the size of a test set by many orders of magnitude. The practical use of the contribution is to help developers structure a system under construction in such a way that it is completely testable using the described testing method with few additional constraints. Copyright © 2004 John Wiley & Sons, Ltd." @default.
- W2014568871 created "2016-06-24" @default.
- W2014568871 creator A5031576868 @default.
- W2014568871 creator A5050598206 @default.
- W2014568871 date "2004-09-01" @default.
- W2014568871 modified "2023-10-18" @default.
- W2014568871 title "Refinement in statechart testing" @default.
- W2014568871 doi "https://doi.org/10.1002/stvr.301" @default.
- W2014568871 hasPublicationYear "2004" @default.
- W2014568871 type Work @default.
- W2014568871 sameAs 2014568871 @default.
- W2014568871 citedByCount "6" @default.
- W2014568871 countsByYear W20145688712012 @default.
- W2014568871 countsByYear W20145688712013 @default.
- W2014568871 crossrefType "journal-article" @default.
- W2014568871 hasAuthorship W2014568871A5031576868 @default.
- W2014568871 hasAuthorship W2014568871A5050598206 @default.
- W2014568871 hasConcept C108913964 @default.
- W2014568871 hasConcept C111335779 @default.
- W2014568871 hasConcept C116253237 @default.
- W2014568871 hasConcept C118615104 @default.
- W2014568871 hasConcept C119857082 @default.
- W2014568871 hasConcept C127413603 @default.
- W2014568871 hasConcept C128942645 @default.
- W2014568871 hasConcept C149091818 @default.
- W2014568871 hasConcept C152877465 @default.
- W2014568871 hasConcept C162443782 @default.
- W2014568871 hasConcept C165825675 @default.
- W2014568871 hasConcept C177264268 @default.
- W2014568871 hasConcept C186846655 @default.
- W2014568871 hasConcept C199360897 @default.
- W2014568871 hasConcept C200601418 @default.
- W2014568871 hasConcept C2524010 @default.
- W2014568871 hasConcept C2777904410 @default.
- W2014568871 hasConcept C2780069185 @default.
- W2014568871 hasConcept C33923547 @default.
- W2014568871 hasConcept C41008148 @default.
- W2014568871 hasConcept C53942775 @default.
- W2014568871 hasConceptScore W2014568871C108913964 @default.
- W2014568871 hasConceptScore W2014568871C111335779 @default.
- W2014568871 hasConceptScore W2014568871C116253237 @default.
- W2014568871 hasConceptScore W2014568871C118615104 @default.
- W2014568871 hasConceptScore W2014568871C119857082 @default.
- W2014568871 hasConceptScore W2014568871C127413603 @default.
- W2014568871 hasConceptScore W2014568871C128942645 @default.
- W2014568871 hasConceptScore W2014568871C149091818 @default.
- W2014568871 hasConceptScore W2014568871C152877465 @default.
- W2014568871 hasConceptScore W2014568871C162443782 @default.
- W2014568871 hasConceptScore W2014568871C165825675 @default.
- W2014568871 hasConceptScore W2014568871C177264268 @default.
- W2014568871 hasConceptScore W2014568871C186846655 @default.
- W2014568871 hasConceptScore W2014568871C199360897 @default.
- W2014568871 hasConceptScore W2014568871C200601418 @default.
- W2014568871 hasConceptScore W2014568871C2524010 @default.
- W2014568871 hasConceptScore W2014568871C2777904410 @default.
- W2014568871 hasConceptScore W2014568871C2780069185 @default.
- W2014568871 hasConceptScore W2014568871C33923547 @default.
- W2014568871 hasConceptScore W2014568871C41008148 @default.
- W2014568871 hasConceptScore W2014568871C53942775 @default.
- W2014568871 hasIssue "3" @default.
- W2014568871 hasLocation W20145688711 @default.
- W2014568871 hasOpenAccess W2014568871 @default.
- W2014568871 hasPrimaryLocation W20145688711 @default.
- W2014568871 hasRelatedWork W1969158622 @default.
- W2014568871 hasRelatedWork W2072613709 @default.
- W2014568871 hasRelatedWork W2128808025 @default.
- W2014568871 hasRelatedWork W2184612063 @default.
- W2014568871 hasRelatedWork W2204156854 @default.
- W2014568871 hasRelatedWork W2897727915 @default.
- W2014568871 hasRelatedWork W2967858513 @default.
- W2014568871 hasRelatedWork W4200026479 @default.
- W2014568871 hasRelatedWork W4286303819 @default.
- W2014568871 hasRelatedWork W2585933696 @default.
- W2014568871 hasVolume "14" @default.
- W2014568871 isParatext "false" @default.
- W2014568871 isRetracted "false" @default.
- W2014568871 magId "2014568871" @default.
- W2014568871 workType "article" @default.