Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018952302> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2018952302 endingPage "50" @default.
- W2018952302 startingPage "27" @default.
- W2018952302 abstract "A specification provides a concise description of a system, and can be used as both the benchmark against which any implementation is tested, and also as a means to generate tests. Formal specifications have potential advantages over informal descriptions because they offer the possibility of reducing the costs of testing by automating part of the testing process. This observation has led to considerable interest in developing test generation techniques from formal specifications, and a number of different methods have been derived for state-based formalisms such as Z, B and VDM. However, after tests have been derived from a formal specification, the specification might be refined further before it is implemented, and therefore a mechanism is needed to relate the abstract tests to the refined implementation. The purpose of this paper is to provide such a method by exploring the relationship between testing and refinement. In this paper a model for test generation is used which constructs a finite state machine (FSM) from a Z specification by using a Disjunctive Normal Form (DNF) partition analysis of the state and operations. The finite state machine is then used to derive suitable test suites. The paper decribes a way of calculating an FSM for a refinement from an abstract FSM together with the information about the refinement embodied in the retrieve relation. This means that it is possible to test an implementation by generating a new concrete finite state machine from a set of abstract tests. Copyright © 1999 John Wiley & Sons, Ltd." @default.
- W2018952302 created "2016-06-24" @default.
- W2018952302 creator A5059470549 @default.
- W2018952302 creator A5060549428 @default.
- W2018952302 date "1999-03-01" @default.
- W2018952302 modified "2023-09-27" @default.
- W2018952302 title "Testing refinements of state-based formal specifications" @default.
- W2018952302 cites W1495194932 @default.
- W2018952302 cites W1568556953 @default.
- W2018952302 cites W1787500456 @default.
- W2018952302 cites W1889835726 @default.
- W2018952302 cites W1996273246 @default.
- W2018952302 cites W2061439988 @default.
- W2018952302 cites W2100766650 @default.
- W2018952302 cites W2536425079 @default.
- W2018952302 cites W2544293008 @default.
- W2018952302 cites W4254354208 @default.
- W2018952302 doi "https://doi.org/10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.0.co;2-b" @default.
- W2018952302 hasPublicationYear "1999" @default.
- W2018952302 type Work @default.
- W2018952302 sameAs 2018952302 @default.
- W2018952302 citedByCount "31" @default.
- W2018952302 countsByYear W20189523022013 @default.
- W2018952302 countsByYear W20189523022014 @default.
- W2018952302 crossrefType "journal-article" @default.
- W2018952302 hasAuthorship W2018952302A5059470549 @default.
- W2018952302 hasAuthorship W2018952302A5060549428 @default.
- W2018952302 hasBestOaLocation W20189523022 @default.
- W2018952302 hasConcept C114614502 @default.
- W2018952302 hasConcept C116253237 @default.
- W2018952302 hasConcept C119857082 @default.
- W2018952302 hasConcept C128942645 @default.
- W2018952302 hasConcept C13280743 @default.
- W2018952302 hasConcept C145243422 @default.
- W2018952302 hasConcept C152877465 @default.
- W2018952302 hasConcept C167822520 @default.
- W2018952302 hasConcept C171018156 @default.
- W2018952302 hasConcept C177264268 @default.
- W2018952302 hasConcept C185798385 @default.
- W2018952302 hasConcept C199360897 @default.
- W2018952302 hasConcept C205649164 @default.
- W2018952302 hasConcept C2524010 @default.
- W2018952302 hasConcept C33923547 @default.
- W2018952302 hasConcept C41008148 @default.
- W2018952302 hasConcept C42812 @default.
- W2018952302 hasConcept C48103436 @default.
- W2018952302 hasConcept C75606506 @default.
- W2018952302 hasConcept C98045186 @default.
- W2018952302 hasConceptScore W2018952302C114614502 @default.
- W2018952302 hasConceptScore W2018952302C116253237 @default.
- W2018952302 hasConceptScore W2018952302C119857082 @default.
- W2018952302 hasConceptScore W2018952302C128942645 @default.
- W2018952302 hasConceptScore W2018952302C13280743 @default.
- W2018952302 hasConceptScore W2018952302C145243422 @default.
- W2018952302 hasConceptScore W2018952302C152877465 @default.
- W2018952302 hasConceptScore W2018952302C167822520 @default.
- W2018952302 hasConceptScore W2018952302C171018156 @default.
- W2018952302 hasConceptScore W2018952302C177264268 @default.
- W2018952302 hasConceptScore W2018952302C185798385 @default.
- W2018952302 hasConceptScore W2018952302C199360897 @default.
- W2018952302 hasConceptScore W2018952302C205649164 @default.
- W2018952302 hasConceptScore W2018952302C2524010 @default.
- W2018952302 hasConceptScore W2018952302C33923547 @default.
- W2018952302 hasConceptScore W2018952302C41008148 @default.
- W2018952302 hasConceptScore W2018952302C42812 @default.
- W2018952302 hasConceptScore W2018952302C48103436 @default.
- W2018952302 hasConceptScore W2018952302C75606506 @default.
- W2018952302 hasConceptScore W2018952302C98045186 @default.
- W2018952302 hasIssue "1" @default.
- W2018952302 hasLocation W20189523021 @default.
- W2018952302 hasLocation W20189523022 @default.
- W2018952302 hasOpenAccess W2018952302 @default.
- W2018952302 hasPrimaryLocation W20189523021 @default.
- W2018952302 hasRelatedWork W1517976619 @default.
- W2018952302 hasRelatedWork W1524361563 @default.
- W2018952302 hasRelatedWork W1536552036 @default.
- W2018952302 hasRelatedWork W1592393183 @default.
- W2018952302 hasRelatedWork W2018952302 @default.
- W2018952302 hasRelatedWork W2123319381 @default.
- W2018952302 hasRelatedWork W2124870748 @default.
- W2018952302 hasRelatedWork W2741430969 @default.
- W2018952302 hasRelatedWork W4250452845 @default.
- W2018952302 hasRelatedWork W2752133100 @default.
- W2018952302 hasVolume "9" @default.
- W2018952302 isParatext "false" @default.
- W2018952302 isRetracted "false" @default.
- W2018952302 magId "2018952302" @default.
- W2018952302 workType "article" @default.