Matches in SemOpenAlex for { <https://semopenalex.org/work/W2523322800> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2523322800 endingPage "453" @default.
- W2523322800 startingPage "437" @default.
- W2523322800 abstract "In this paper a virtual test method, which is a fusion approach on the combination of automata-based model checking theory and systems engineering theory, is proposed. An automaton of Window Tree Model (WTM) based on multi-tree to describe the system behavior as a system model is used on one hand, and a State Transition Graph (STG) based on Büchi automaton to describe design correctness as a specification is used on the other hand. An automaton-based model checking mechanism is designed to build the foundation of the virtual test method. Moreover, the two main aspects of the method, which are the design correctness verification and the interface test, are defined. A case study is followed to illustrate the modeling and verification process. Finally, a Virtual Test Platform (VTP), which implements the method, is introduced to unfold the virtual test configuration, virtual test execution as well as the virtual test evaluation features." @default.
- W2523322800 created "2016-09-30" @default.
- W2523322800 creator A5014777615 @default.
- W2523322800 creator A5015451787 @default.
- W2523322800 creator A5027722956 @default.
- W2523322800 creator A5035801000 @default.
- W2523322800 creator A5057384070 @default.
- W2523322800 creator A5079671549 @default.
- W2523322800 date "2016-01-01" @default.
- W2523322800 modified "2023-10-10" @default.
- W2523322800 title "A Method of Virtual Test Based on Model Checking and a Case Study" @default.
- W2523322800 cites W1498582737 @default.
- W2523322800 cites W1575118279 @default.
- W2523322800 cites W1974652544 @default.
- W2523322800 cites W1975483972 @default.
- W2523322800 cites W2030862439 @default.
- W2523322800 cites W2068680434 @default.
- W2523322800 cites W2093234205 @default.
- W2523322800 cites W2112294697 @default.
- W2523322800 cites W2133281166 @default.
- W2523322800 cites W2152712804 @default.
- W2523322800 cites W2210921136 @default.
- W2523322800 cites W2273629941 @default.
- W2523322800 cites W2322659716 @default.
- W2523322800 cites W2497895634 @default.
- W2523322800 cites W4242851768 @default.
- W2523322800 cites W4296471858 @default.
- W2523322800 doi "https://doi.org/10.1007/978-981-10-2338-5_42" @default.
- W2523322800 hasPublicationYear "2016" @default.
- W2523322800 type Work @default.
- W2523322800 sameAs 2523322800 @default.
- W2523322800 citedByCount "0" @default.
- W2523322800 crossrefType "book-chapter" @default.
- W2523322800 hasAuthorship W2523322800A5014777615 @default.
- W2523322800 hasAuthorship W2523322800A5015451787 @default.
- W2523322800 hasAuthorship W2523322800A5027722956 @default.
- W2523322800 hasAuthorship W2523322800A5035801000 @default.
- W2523322800 hasAuthorship W2523322800A5057384070 @default.
- W2523322800 hasAuthorship W2523322800A5079671549 @default.
- W2523322800 hasConcept C110251889 @default.
- W2523322800 hasConcept C112505250 @default.
- W2523322800 hasConcept C119857082 @default.
- W2523322800 hasConcept C128942645 @default.
- W2523322800 hasConcept C152877465 @default.
- W2523322800 hasConcept C199360897 @default.
- W2523322800 hasConcept C41008148 @default.
- W2523322800 hasConcept C55439883 @default.
- W2523322800 hasConcept C80444323 @default.
- W2523322800 hasConceptScore W2523322800C110251889 @default.
- W2523322800 hasConceptScore W2523322800C112505250 @default.
- W2523322800 hasConceptScore W2523322800C119857082 @default.
- W2523322800 hasConceptScore W2523322800C128942645 @default.
- W2523322800 hasConceptScore W2523322800C152877465 @default.
- W2523322800 hasConceptScore W2523322800C199360897 @default.
- W2523322800 hasConceptScore W2523322800C41008148 @default.
- W2523322800 hasConceptScore W2523322800C55439883 @default.
- W2523322800 hasConceptScore W2523322800C80444323 @default.
- W2523322800 hasLocation W25233228001 @default.
- W2523322800 hasOpenAccess W2523322800 @default.
- W2523322800 hasPrimaryLocation W25233228001 @default.
- W2523322800 hasRelatedWork W1483156373 @default.
- W2523322800 hasRelatedWork W1594593035 @default.
- W2523322800 hasRelatedWork W1667647204 @default.
- W2523322800 hasRelatedWork W2018477250 @default.
- W2523322800 hasRelatedWork W2152996796 @default.
- W2523322800 hasRelatedWork W2404647514 @default.
- W2523322800 hasRelatedWork W2560415449 @default.
- W2523322800 hasRelatedWork W3008339103 @default.
- W2523322800 hasRelatedWork W3119814709 @default.
- W2523322800 hasRelatedWork W2746280673 @default.
- W2523322800 isParatext "false" @default.
- W2523322800 isRetracted "false" @default.
- W2523322800 magId "2523322800" @default.
- W2523322800 workType "book-chapter" @default.