Matches in SemOpenAlex for { <https://semopenalex.org/work/W2319330884> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2319330884 endingPage "280" @default.
- W2319330884 startingPage "233" @default.
- W2319330884 abstract "The paper describes the research in formal methods of conformance testing of the target system against requirements given in specifications. Such testing is based on interaction semantics defining test stimuli and observations of actions and refusals (absence of actions). Unobservable actions and refusals are also possible. Destruction is introduced as a forbidden action that should be avoided during interaction. A notion of safe testing is also introduced, when no unobservable refusals and destruction occur and no test stimuli applied in divergence. On this basis, the implementation hypothesis of safety and safe conformance are defined, as well as the generation of complete test suite from specification. The most common model of specification is LTS (Labelled Transition System). However, for the described interaction semantics, only traces (sequences of observations) are important, not the LTS states. Therefore, the most natural is the trace model defined as a set of LTS traces. The goal of this paper is to define the subset of specification traces sufficient for generation of the complete test suite. We called such subset the final trace model of specification. On the other hand, LTS model is convenient as a way of finite representation of regular trace sets. To represent the final trace model, the paper proposes a variation of LTS called final RTS (Refusal Transition System). The transitions on observable refusals are defined explicitly. Such model is very convenient for test generation: 1) it is deterministic, 2) trace of observations is safe iff it ends in non-terminal state with no destruction, 3) test stimulus is safe after the trace iff it is safe in the final state of the trace. The paper proposes algorithms for transformation of LTS model into final RTS model. Sufficient conditions for creation of the final RTS in finite time are also defined." @default.
- W2319330884 created "2016-06-24" @default.
- W2319330884 creator A5016937078 @default.
- W2319330884 creator A5025016186 @default.
- W2319330884 date "2012-01-01" @default.
- W2319330884 modified "2023-09-24" @default.
- W2319330884 title "The final models of specification" @default.
- W2319330884 cites W1885303164 @default.
- W2319330884 cites W1963854996 @default.
- W2319330884 cites W2004929506 @default.
- W2319330884 cites W2011980920 @default.
- W2319330884 cites W2033840466 @default.
- W2319330884 cites W2062436301 @default.
- W2319330884 cites W2075936319 @default.
- W2319330884 cites W2098981343 @default.
- W2319330884 cites W2143236904 @default.
- W2319330884 doi "https://doi.org/10.15514/ispras-2012-22-15" @default.
- W2319330884 hasPublicationYear "2012" @default.
- W2319330884 type Work @default.
- W2319330884 sameAs 2319330884 @default.
- W2319330884 citedByCount "0" @default.
- W2319330884 crossrefType "journal-article" @default.
- W2319330884 hasAuthorship W2319330884A5016937078 @default.
- W2319330884 hasAuthorship W2319330884A5025016186 @default.
- W2319330884 hasBestOaLocation W23193308841 @default.
- W2319330884 hasConcept C108913964 @default.
- W2319330884 hasConcept C111919701 @default.
- W2319330884 hasConcept C116253237 @default.
- W2319330884 hasConcept C119857082 @default.
- W2319330884 hasConcept C128942645 @default.
- W2319330884 hasConcept C138885662 @default.
- W2319330884 hasConcept C149782125 @default.
- W2319330884 hasConcept C151552104 @default.
- W2319330884 hasConcept C152877465 @default.
- W2319330884 hasConcept C156325763 @default.
- W2319330884 hasConcept C184337299 @default.
- W2319330884 hasConcept C188087704 @default.
- W2319330884 hasConcept C199360897 @default.
- W2319330884 hasConcept C2779167558 @default.
- W2319330884 hasConcept C2780695315 @default.
- W2319330884 hasConcept C33923547 @default.
- W2319330884 hasConcept C41008148 @default.
- W2319330884 hasConcept C41895202 @default.
- W2319330884 hasConcept C75291252 @default.
- W2319330884 hasConcept C76844732 @default.
- W2319330884 hasConcept C80444323 @default.
- W2319330884 hasConceptScore W2319330884C108913964 @default.
- W2319330884 hasConceptScore W2319330884C111919701 @default.
- W2319330884 hasConceptScore W2319330884C116253237 @default.
- W2319330884 hasConceptScore W2319330884C119857082 @default.
- W2319330884 hasConceptScore W2319330884C128942645 @default.
- W2319330884 hasConceptScore W2319330884C138885662 @default.
- W2319330884 hasConceptScore W2319330884C149782125 @default.
- W2319330884 hasConceptScore W2319330884C151552104 @default.
- W2319330884 hasConceptScore W2319330884C152877465 @default.
- W2319330884 hasConceptScore W2319330884C156325763 @default.
- W2319330884 hasConceptScore W2319330884C184337299 @default.
- W2319330884 hasConceptScore W2319330884C188087704 @default.
- W2319330884 hasConceptScore W2319330884C199360897 @default.
- W2319330884 hasConceptScore W2319330884C2779167558 @default.
- W2319330884 hasConceptScore W2319330884C2780695315 @default.
- W2319330884 hasConceptScore W2319330884C33923547 @default.
- W2319330884 hasConceptScore W2319330884C41008148 @default.
- W2319330884 hasConceptScore W2319330884C41895202 @default.
- W2319330884 hasConceptScore W2319330884C75291252 @default.
- W2319330884 hasConceptScore W2319330884C76844732 @default.
- W2319330884 hasConceptScore W2319330884C80444323 @default.
- W2319330884 hasLocation W23193308841 @default.
- W2319330884 hasOpenAccess W2319330884 @default.
- W2319330884 hasPrimaryLocation W23193308841 @default.
- W2319330884 hasRelatedWork W1614977708 @default.
- W2319330884 hasRelatedWork W2005840275 @default.
- W2319330884 hasRelatedWork W2011980920 @default.
- W2319330884 hasRelatedWork W2110645403 @default.
- W2319330884 hasRelatedWork W2125348082 @default.
- W2319330884 hasRelatedWork W2128071320 @default.
- W2319330884 hasRelatedWork W2146445117 @default.
- W2319330884 hasRelatedWork W2371895536 @default.
- W2319330884 hasRelatedWork W4298187297 @default.
- W2319330884 hasRelatedWork W97582271 @default.
- W2319330884 hasVolume "22" @default.
- W2319330884 isParatext "false" @default.
- W2319330884 isRetracted "false" @default.
- W2319330884 magId "2319330884" @default.
- W2319330884 workType "article" @default.