Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581209726> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1581209726 endingPage "225" @default.
- W1581209726 startingPage "211" @default.
- W1581209726 abstract "Real-time systems are those systems whose behaviors are time dependent. Reliability is one of the characteristics of such systems and testing is one of the techniques that can be used to ensure reliable real-time systems. This paper presents a method for testing real-time systems specified by Timed Input Output Automata (TIOA). Our method is based on the concept of test purposes. The use of test purposes helps reduce the number of test cases generated since an exhaustive testing of a TIOA causes the well-known state explosion problem. The approach we present in this paper consists of three main steps. First, a synchronous product of the specification and test purpose is computed. Then, a sub-automaton (called Grid Automata) representing a subset of the state space of this product is derived. Finally, test cases are generated from the resulting grid automata. The test cases generated by our method are executable and can easily be represented in TTCN (Tabular Tree Combined Notation)." @default.
- W1581209726 created "2016-06-24" @default.
- W1581209726 creator A5050355536 @default.
- W1581209726 creator A5057013558 @default.
- W1581209726 date "2003-01-01" @default.
- W1581209726 modified "2023-10-09" @default.
- W1581209726 title "A Guided Method for Testing Timed Input Output Automata" @default.
- W1581209726 cites W1550912347 @default.
- W1581209726 cites W1566743700 @default.
- W1581209726 cites W1584511540 @default.
- W1581209726 cites W1877887853 @default.
- W1581209726 cites W1979248560 @default.
- W1581209726 cites W1981326070 @default.
- W1581209726 cites W2043695863 @default.
- W1581209726 cites W2101508170 @default.
- W1581209726 cites W2102418068 @default.
- W1581209726 cites W2152815305 @default.
- W1581209726 cites W2163595873 @default.
- W1581209726 cites W2256090243 @default.
- W1581209726 cites W62697410 @default.
- W1581209726 doi "https://doi.org/10.1007/3-540-44830-6_16" @default.
- W1581209726 hasPublicationYear "2003" @default.
- W1581209726 type Work @default.
- W1581209726 sameAs 1581209726 @default.
- W1581209726 citedByCount "31" @default.
- W1581209726 countsByYear W15812097262012 @default.
- W1581209726 countsByYear W15812097262013 @default.
- W1581209726 countsByYear W15812097262016 @default.
- W1581209726 countsByYear W15812097262019 @default.
- W1581209726 countsByYear W15812097262020 @default.
- W1581209726 crossrefType "book-chapter" @default.
- W1581209726 hasAuthorship W1581209726A5050355536 @default.
- W1581209726 hasAuthorship W1581209726A5057013558 @default.
- W1581209726 hasBestOaLocation W15812097261 @default.
- W1581209726 hasConcept C105795698 @default.
- W1581209726 hasConcept C111919701 @default.
- W1581209726 hasConcept C112505250 @default.
- W1581209726 hasConcept C11413529 @default.
- W1581209726 hasConcept C119857082 @default.
- W1581209726 hasConcept C128942645 @default.
- W1581209726 hasConcept C152877465 @default.
- W1581209726 hasConcept C160145156 @default.
- W1581209726 hasConcept C165825675 @default.
- W1581209726 hasConcept C188087704 @default.
- W1581209726 hasConcept C199360897 @default.
- W1581209726 hasConcept C30788636 @default.
- W1581209726 hasConcept C33923547 @default.
- W1581209726 hasConcept C41008148 @default.
- W1581209726 hasConcept C72434380 @default.
- W1581209726 hasConcept C76844732 @default.
- W1581209726 hasConcept C80444323 @default.
- W1581209726 hasConceptScore W1581209726C105795698 @default.
- W1581209726 hasConceptScore W1581209726C111919701 @default.
- W1581209726 hasConceptScore W1581209726C112505250 @default.
- W1581209726 hasConceptScore W1581209726C11413529 @default.
- W1581209726 hasConceptScore W1581209726C119857082 @default.
- W1581209726 hasConceptScore W1581209726C128942645 @default.
- W1581209726 hasConceptScore W1581209726C152877465 @default.
- W1581209726 hasConceptScore W1581209726C160145156 @default.
- W1581209726 hasConceptScore W1581209726C165825675 @default.
- W1581209726 hasConceptScore W1581209726C188087704 @default.
- W1581209726 hasConceptScore W1581209726C199360897 @default.
- W1581209726 hasConceptScore W1581209726C30788636 @default.
- W1581209726 hasConceptScore W1581209726C33923547 @default.
- W1581209726 hasConceptScore W1581209726C41008148 @default.
- W1581209726 hasConceptScore W1581209726C72434380 @default.
- W1581209726 hasConceptScore W1581209726C76844732 @default.
- W1581209726 hasConceptScore W1581209726C80444323 @default.
- W1581209726 hasLocation W15812097261 @default.
- W1581209726 hasOpenAccess W1581209726 @default.
- W1581209726 hasPrimaryLocation W15812097261 @default.
- W1581209726 hasRelatedWork W1530540819 @default.
- W1581209726 hasRelatedWork W1566911402 @default.
- W1581209726 hasRelatedWork W1962872449 @default.
- W1581209726 hasRelatedWork W1991978415 @default.
- W1581209726 hasRelatedWork W1997566227 @default.
- W1581209726 hasRelatedWork W2168066965 @default.
- W1581209726 hasRelatedWork W2375657886 @default.
- W1581209726 hasRelatedWork W3110086843 @default.
- W1581209726 hasRelatedWork W572432826 @default.
- W1581209726 hasRelatedWork W87461448 @default.
- W1581209726 isParatext "false" @default.
- W1581209726 isRetracted "false" @default.
- W1581209726 magId "1581209726" @default.
- W1581209726 workType "book-chapter" @default.