FRINK Linked Data Fragments server

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

• W31474718 endingPage "164" @default.
• W31474718 startingPage "151" @default.
• W31474718 abstract "This chapter discusses the problem of augmenting a partially specified extended finite-state machine, extracted from a Specification Description Language (SDL) specification, to have shorter tests. Conformance testing is used to verify whether an implementation under test exhibits a permissible behavior. Test cases derived from a reference specification are applied to an implementation under test to compare its behavior with the reference one. Length of test cases, facility of test generation, and analysis of results of test application are important factors that affect the cost of testing. Various formal description techniques (FDTs)—such as SDL, LOTOS or ESTELLE—are used for communication protocols. Most of the FDTs possess some practical tools for automatic verification and simulation of a protocol to detect and correct some classes of faults before implementing the protocol. Some unspecified transitions—such as those that can be interpreted as “don't care” transitions—to improve the testability of protocol's implementations are used in the chapter." @default.
• W31474718 created "2016-06-24" @default.
• W31474718 creator A5057013558 @default.
• W31474718 creator A5075657390 @default.
• W31474718 creator A5082528508 @default.
• W31474718 date "1997-01-01" @default.
• W31474718 modified "2023-10-01" @default.
• W31474718 title "Design for Testability of Communication Protocols Based on SDL Specification" @default.
• W31474718 cites W1544501706 @default.
• W31474718 cites W2016457827 @default.
• W31474718 cites W2087555024 @default.
• W31474718 cites W2112865920 @default.
• W31474718 cites W2125560800 @default.
• W31474718 cites W2131008681 @default.
• W31474718 cites W2140152108 @default.
• W31474718 cites W2149744863 @default.
• W31474718 cites W2159655835 @default.
• W31474718 cites W31081862 @default.
• W31474718 cites W614270166 @default.
• W31474718 cites W778100826 @default.
• W31474718 cites W834938524 @default.
• W31474718 doi "https://doi.org/10.1016/b978-044482816-3/50011-3" @default.
• W31474718 hasPublicationYear "1997" @default.
• W31474718 type Work @default.
• W31474718 sameAs 31474718 @default.
• W31474718 citedByCount "1" @default.
• W31474718 crossrefType "book-chapter" @default.
• W31474718 hasAuthorship W31474718A5057013558 @default.
• W31474718 hasAuthorship W31474718A5075657390 @default.
• W31474718 hasAuthorship W31474718A5082528508 @default.
• W31474718 hasConcept C111919701 @default.
• W31474718 hasConcept C116253237 @default.
• W31474718 hasConcept C119857082 @default.
• W31474718 hasConcept C12269588 @default.
• W31474718 hasConcept C127413603 @default.
• W31474718 hasConcept C128942645 @default.
• W31474718 hasConcept C142724271 @default.
• W31474718 hasConcept C151730666 @default.
• W31474718 hasConcept C152877465 @default.
• W31474718 hasConcept C167822520 @default.
• W31474718 hasConcept C181062253 @default.
• W31474718 hasConcept C188087704 @default.
• W31474718 hasConcept C199360897 @default.
• W31474718 hasConcept C200601418 @default.
• W31474718 hasConcept C201677973 @default.
• W31474718 hasConcept C204787440 @default.
• W31474718 hasConcept C26713055 @default.
• W31474718 hasConcept C2777267654 @default.
• W31474718 hasConcept C2780385302 @default.
• W31474718 hasConcept C41008148 @default.
• W31474718 hasConcept C51234621 @default.
• W31474718 hasConcept C71924100 @default.
• W31474718 hasConcept C75606506 @default.
• W31474718 hasConcept C76844732 @default.
• W31474718 hasConcept C86803240 @default.
• W31474718 hasConcept C90069079 @default.
• W31474718 hasConceptScore W31474718C111919701 @default.
• W31474718 hasConceptScore W31474718C116253237 @default.
• W31474718 hasConceptScore W31474718C119857082 @default.
• W31474718 hasConceptScore W31474718C12269588 @default.
• W31474718 hasConceptScore W31474718C127413603 @default.
• W31474718 hasConceptScore W31474718C128942645 @default.
• W31474718 hasConceptScore W31474718C142724271 @default.
• W31474718 hasConceptScore W31474718C151730666 @default.
• W31474718 hasConceptScore W31474718C152877465 @default.
• W31474718 hasConceptScore W31474718C167822520 @default.
• W31474718 hasConceptScore W31474718C181062253 @default.
• W31474718 hasConceptScore W31474718C188087704 @default.
• W31474718 hasConceptScore W31474718C199360897 @default.
• W31474718 hasConceptScore W31474718C200601418 @default.
• W31474718 hasConceptScore W31474718C201677973 @default.
• W31474718 hasConceptScore W31474718C204787440 @default.
• W31474718 hasConceptScore W31474718C26713055 @default.
• W31474718 hasConceptScore W31474718C2777267654 @default.
• W31474718 hasConceptScore W31474718C2780385302 @default.
• W31474718 hasConceptScore W31474718C41008148 @default.
• W31474718 hasConceptScore W31474718C51234621 @default.
• W31474718 hasConceptScore W31474718C71924100 @default.
• W31474718 hasConceptScore W31474718C75606506 @default.
• W31474718 hasConceptScore W31474718C76844732 @default.
• W31474718 hasConceptScore W31474718C86803240 @default.
• W31474718 hasConceptScore W31474718C90069079 @default.
• W31474718 hasLocation W314747181 @default.
• W31474718 hasOpenAccess W31474718 @default.
• W31474718 hasPrimaryLocation W314747181 @default.
• W31474718 hasRelatedWork W1512224581 @default.
• W31474718 hasRelatedWork W1592393183 @default.
• W31474718 hasRelatedWork W1593859026 @default.
• W31474718 hasRelatedWork W1596812210 @default.
• W31474718 hasRelatedWork W2098613964 @default.
• W31474718 hasRelatedWork W2146747654 @default.
• W31474718 hasRelatedWork W2955892663 @default.
• W31474718 hasRelatedWork W31474718 @default.
• W31474718 hasRelatedWork W4254808108 @default.
• W31474718 hasRelatedWork W3090214085 @default.
• W31474718 isParatext "false" @default.
• W31474718 isRetracted "false" @default.
• W31474718 magId "31474718" @default.

• next