Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904204636> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2904204636 abstract "As a safety-critical system, the Chinese Train Control System Level 3 (CTCS-3) have complex fault modes. To generate test suite, which can cover all known faults, is very difficult. In this paper, we proposed a methodology of generating test suite for CTCS-3 train control system based on timed automata with input and output (TAIO) and mutation testing theory. Firstly, according to the characteristics of the fault modes in CTCS-3, mutation operators that contain all known faults of mode transition function (“change action”, “change target”, “change source”, etc) are designed. Secondly, the TAIO model of mode transition (TAIO A) in CTCS-3 is established. With each mutation operator, mutants of mode transition timed automata model (TAIO M) are built. Test suites are generated based on the conformance relation of TAIO A and TAIO M using the k-Bounded model checking technique. Finally, the coverage of the test suites have been analyzed by the conformance relation score (CRS), average conformance relation score (ACRS) and weighted conformance relation score (WCRS). Three fault modes of “change action”, “change invariant” and “sink location” could be covered effectively and completely detected, wherever, two fault modes coverage of “negate guard” and “invert reset” are not high enough, which need additional observation to detect." @default.
- W2904204636 created "2018-12-22" @default.
- W2904204636 creator A5002672308 @default.
- W2904204636 creator A5008912091 @default.
- W2904204636 creator A5032082469 @default.
- W2904204636 creator A5039789791 @default.
- W2904204636 creator A5067908158 @default.
- W2904204636 date "2018-11-01" @default.
- W2904204636 modified "2023-09-23" @default.
- W2904204636 title "Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory" @default.
- W2904204636 cites W107799027 @default.
- W2904204636 cites W1878755561 @default.
- W2904204636 cites W2076253536 @default.
- W2904204636 cites W2083623672 @default.
- W2904204636 cites W2113780769 @default.
- W2904204636 cites W2120916408 @default.
- W2904204636 cites W2135841285 @default.
- W2904204636 cites W2350142859 @default.
- W2904204636 cites W2578987896 @default.
- W2904204636 cites W2905661193 @default.
- W2904204636 doi "https://doi.org/10.1109/itsc.2018.8569768" @default.
- W2904204636 hasPublicationYear "2018" @default.
- W2904204636 type Work @default.
- W2904204636 sameAs 2904204636 @default.
- W2904204636 citedByCount "2" @default.
- W2904204636 countsByYear W29042046362019 @default.
- W2904204636 countsByYear W29042046362020 @default.
- W2904204636 crossrefType "proceedings-article" @default.
- W2904204636 hasAuthorship W2904204636A5002672308 @default.
- W2904204636 hasAuthorship W2904204636A5008912091 @default.
- W2904204636 hasAuthorship W2904204636A5032082469 @default.
- W2904204636 hasAuthorship W2904204636A5039789791 @default.
- W2904204636 hasAuthorship W2904204636A5067908158 @default.
- W2904204636 hasConcept C110251889 @default.
- W2904204636 hasConcept C111919701 @default.
- W2904204636 hasConcept C112505250 @default.
- W2904204636 hasConcept C11413529 @default.
- W2904204636 hasConcept C119599485 @default.
- W2904204636 hasConcept C119857082 @default.
- W2904204636 hasConcept C127313418 @default.
- W2904204636 hasConcept C127413603 @default.
- W2904204636 hasConcept C128942645 @default.
- W2904204636 hasConcept C134146338 @default.
- W2904204636 hasConcept C151552104 @default.
- W2904204636 hasConcept C152877465 @default.
- W2904204636 hasConcept C165205528 @default.
- W2904204636 hasConcept C167391956 @default.
- W2904204636 hasConcept C175551986 @default.
- W2904204636 hasConcept C188087704 @default.
- W2904204636 hasConcept C2779167558 @default.
- W2904204636 hasConcept C35527583 @default.
- W2904204636 hasConcept C41008148 @default.
- W2904204636 hasConcept C76844732 @default.
- W2904204636 hasConcept C80444323 @default.
- W2904204636 hasConceptScore W2904204636C110251889 @default.
- W2904204636 hasConceptScore W2904204636C111919701 @default.
- W2904204636 hasConceptScore W2904204636C112505250 @default.
- W2904204636 hasConceptScore W2904204636C11413529 @default.
- W2904204636 hasConceptScore W2904204636C119599485 @default.
- W2904204636 hasConceptScore W2904204636C119857082 @default.
- W2904204636 hasConceptScore W2904204636C127313418 @default.
- W2904204636 hasConceptScore W2904204636C127413603 @default.
- W2904204636 hasConceptScore W2904204636C128942645 @default.
- W2904204636 hasConceptScore W2904204636C134146338 @default.
- W2904204636 hasConceptScore W2904204636C151552104 @default.
- W2904204636 hasConceptScore W2904204636C152877465 @default.
- W2904204636 hasConceptScore W2904204636C165205528 @default.
- W2904204636 hasConceptScore W2904204636C167391956 @default.
- W2904204636 hasConceptScore W2904204636C175551986 @default.
- W2904204636 hasConceptScore W2904204636C188087704 @default.
- W2904204636 hasConceptScore W2904204636C2779167558 @default.
- W2904204636 hasConceptScore W2904204636C35527583 @default.
- W2904204636 hasConceptScore W2904204636C41008148 @default.
- W2904204636 hasConceptScore W2904204636C76844732 @default.
- W2904204636 hasConceptScore W2904204636C80444323 @default.
- W2904204636 hasLocation W29042046361 @default.
- W2904204636 hasOpenAccess W2904204636 @default.
- W2904204636 hasPrimaryLocation W29042046361 @default.
- W2904204636 hasRelatedWork W1517875420 @default.
- W2904204636 hasRelatedWork W2107360681 @default.
- W2904204636 hasRelatedWork W2124858373 @default.
- W2904204636 hasRelatedWork W2132622501 @default.
- W2904204636 hasRelatedWork W2332961114 @default.
- W2904204636 hasRelatedWork W2606342468 @default.
- W2904204636 hasRelatedWork W2904204636 @default.
- W2904204636 hasRelatedWork W2972137082 @default.
- W2904204636 hasRelatedWork W3186129440 @default.
- W2904204636 hasRelatedWork W4287069336 @default.
- W2904204636 isParatext "false" @default.
- W2904204636 isRetracted "false" @default.
- W2904204636 magId "2904204636" @default.
- W2904204636 workType "article" @default.