Matches in SemOpenAlex for { <https://semopenalex.org/work/W2747998468> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2747998468 endingPage "730" @default.
- W2747998468 startingPage "724" @default.
- W2747998468 abstract "The behavior of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)-based test derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with the guaranteed fault coverage for a complete possibly nondeterministic FSM with a single clock; such Timed FSMs (TFSMs) are widely used when describing the behavior of software and digital devices. The fault domain contains every complete TFSM with the known upper bounds on the number of states and finite boundary of input time guards. The proposed method is carried out by using an appropriate FSM abstraction of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter test suites can be derived for a restricted fault domain, for instance, for the case when the smallest duration of an input time guard is larger than two. Moreover, the obtained test suites can be reduced while preserving the completeness, when all input time guards of the specification and an implementation under test are right closed (or all guards are left-closed). Experiments are conducted to study the length of test suites constructed by different methods." @default.
- W2747998468 created "2017-08-31" @default.
- W2747998468 creator A5005294944 @default.
- W2747998468 creator A5023320622 @default.
- W2747998468 creator A5080111554 @default.
- W2747998468 creator A5082528508 @default.
- W2747998468 date "2017-12-01" @default.
- W2747998468 modified "2023-10-08" @default.
- W2747998468 title "Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage" @default.
- W2747998468 cites W1496915765 @default.
- W2747998468 cites W1990687584 @default.
- W2747998468 cites W2008813808 @default.
- W2747998468 cites W2011762419 @default.
- W2747998468 cites W2120916408 @default.
- W2747998468 cites W2163595873 @default.
- W2747998468 cites W2528876656 @default.
- W2747998468 doi "https://doi.org/10.3103/s0146411617070318" @default.
- W2747998468 hasPublicationYear "2017" @default.
- W2747998468 type Work @default.
- W2747998468 sameAs 2747998468 @default.
- W2747998468 citedByCount "3" @default.
- W2747998468 countsByYear W27479984682018 @default.
- W2747998468 countsByYear W27479984682021 @default.
- W2747998468 countsByYear W27479984682023 @default.
- W2747998468 crossrefType "journal-article" @default.
- W2747998468 hasAuthorship W2747998468A5005294944 @default.
- W2747998468 hasAuthorship W2747998468A5023320622 @default.
- W2747998468 hasAuthorship W2747998468A5080111554 @default.
- W2747998468 hasAuthorship W2747998468A5082528508 @default.
- W2747998468 hasBestOaLocation W27479984682 @default.
- W2747998468 hasConcept C110251889 @default.
- W2747998468 hasConcept C111472728 @default.
- W2747998468 hasConcept C112505250 @default.
- W2747998468 hasConcept C11413529 @default.
- W2747998468 hasConcept C119599485 @default.
- W2747998468 hasConcept C124304363 @default.
- W2747998468 hasConcept C126953365 @default.
- W2747998468 hasConcept C127413603 @default.
- W2747998468 hasConcept C134146338 @default.
- W2747998468 hasConcept C134306372 @default.
- W2747998468 hasConcept C138885662 @default.
- W2747998468 hasConcept C141141315 @default.
- W2747998468 hasConcept C167822520 @default.
- W2747998468 hasConcept C17231256 @default.
- W2747998468 hasConcept C176181172 @default.
- W2747998468 hasConcept C199360897 @default.
- W2747998468 hasConcept C33923547 @default.
- W2747998468 hasConcept C41008148 @default.
- W2747998468 hasConcept C80444323 @default.
- W2747998468 hasConceptScore W2747998468C110251889 @default.
- W2747998468 hasConceptScore W2747998468C111472728 @default.
- W2747998468 hasConceptScore W2747998468C112505250 @default.
- W2747998468 hasConceptScore W2747998468C11413529 @default.
- W2747998468 hasConceptScore W2747998468C119599485 @default.
- W2747998468 hasConceptScore W2747998468C124304363 @default.
- W2747998468 hasConceptScore W2747998468C126953365 @default.
- W2747998468 hasConceptScore W2747998468C127413603 @default.
- W2747998468 hasConceptScore W2747998468C134146338 @default.
- W2747998468 hasConceptScore W2747998468C134306372 @default.
- W2747998468 hasConceptScore W2747998468C138885662 @default.
- W2747998468 hasConceptScore W2747998468C141141315 @default.
- W2747998468 hasConceptScore W2747998468C167822520 @default.
- W2747998468 hasConceptScore W2747998468C17231256 @default.
- W2747998468 hasConceptScore W2747998468C176181172 @default.
- W2747998468 hasConceptScore W2747998468C199360897 @default.
- W2747998468 hasConceptScore W2747998468C33923547 @default.
- W2747998468 hasConceptScore W2747998468C41008148 @default.
- W2747998468 hasConceptScore W2747998468C80444323 @default.
- W2747998468 hasIssue "7" @default.
- W2747998468 hasLocation W27479984681 @default.
- W2747998468 hasLocation W27479984682 @default.
- W2747998468 hasOpenAccess W2747998468 @default.
- W2747998468 hasPrimaryLocation W27479984681 @default.
- W2747998468 hasRelatedWork W1774309420 @default.
- W2747998468 hasRelatedWork W1893208258 @default.
- W2747998468 hasRelatedWork W2165214723 @default.
- W2747998468 hasRelatedWork W2188869759 @default.
- W2747998468 hasRelatedWork W2747998468 @default.
- W2747998468 hasRelatedWork W2794627106 @default.
- W2747998468 hasRelatedWork W41277334 @default.
- W2747998468 hasRelatedWork W4200635470 @default.
- W2747998468 hasRelatedWork W4226350019 @default.
- W2747998468 hasRelatedWork W4280532188 @default.
- W2747998468 hasVolume "51" @default.
- W2747998468 isParatext "false" @default.
- W2747998468 isRetracted "false" @default.
- W2747998468 magId "2747998468" @default.
- W2747998468 workType "article" @default.