Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094304841> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3094304841 endingPage "01001" @default.
- W3094304841 startingPage "01001" @default.
- W3094304841 abstract "Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cases are generated by the proposed method, which shows that this method can meet the test requirements of CTCS." @default.
- W3094304841 created "2020-10-29" @default.
- W3094304841 creator A5008361487 @default.
- W3094304841 creator A5015169537 @default.
- W3094304841 creator A5034694275 @default.
- W3094304841 creator A5039853624 @default.
- W3094304841 creator A5051020422 @default.
- W3094304841 date "2020-01-01" @default.
- W3094304841 modified "2023-10-11" @default.
- W3094304841 title "Towards A Test Paths Generation Method for CTCS Level Transition" @default.
- W3094304841 cites W2101508170 @default.
- W3094304841 cites W2904204636 @default.
- W3094304841 cites W2990189159 @default.
- W3094304841 doi "https://doi.org/10.1051/matecconf/202032501001" @default.
- W3094304841 hasPublicationYear "2020" @default.
- W3094304841 type Work @default.
- W3094304841 sameAs 3094304841 @default.
- W3094304841 citedByCount "0" @default.
- W3094304841 crossrefType "journal-article" @default.
- W3094304841 hasAuthorship W3094304841A5008361487 @default.
- W3094304841 hasAuthorship W3094304841A5015169537 @default.
- W3094304841 hasAuthorship W3094304841A5034694275 @default.
- W3094304841 hasAuthorship W3094304841A5039853624 @default.
- W3094304841 hasAuthorship W3094304841A5051020422 @default.
- W3094304841 hasBestOaLocation W30943048411 @default.
- W3094304841 hasConcept C11413529 @default.
- W3094304841 hasConcept C119857082 @default.
- W3094304841 hasConcept C128942645 @default.
- W3094304841 hasConcept C151730666 @default.
- W3094304841 hasConcept C152877465 @default.
- W3094304841 hasConcept C2777267654 @default.
- W3094304841 hasConcept C41008148 @default.
- W3094304841 hasConcept C55439883 @default.
- W3094304841 hasConcept C86803240 @default.
- W3094304841 hasConceptScore W3094304841C11413529 @default.
- W3094304841 hasConceptScore W3094304841C119857082 @default.
- W3094304841 hasConceptScore W3094304841C128942645 @default.
- W3094304841 hasConceptScore W3094304841C151730666 @default.
- W3094304841 hasConceptScore W3094304841C152877465 @default.
- W3094304841 hasConceptScore W3094304841C2777267654 @default.
- W3094304841 hasConceptScore W3094304841C41008148 @default.
- W3094304841 hasConceptScore W3094304841C55439883 @default.
- W3094304841 hasConceptScore W3094304841C86803240 @default.
- W3094304841 hasLocation W30943048411 @default.
- W3094304841 hasLocation W30943048412 @default.
- W3094304841 hasOpenAccess W3094304841 @default.
- W3094304841 hasPrimaryLocation W30943048411 @default.
- W3094304841 hasRelatedWork W1516169988 @default.
- W3094304841 hasRelatedWork W1517743118 @default.
- W3094304841 hasRelatedWork W1985198438 @default.
- W3094304841 hasRelatedWork W2024218563 @default.
- W3094304841 hasRelatedWork W2072806201 @default.
- W3094304841 hasRelatedWork W2281090687 @default.
- W3094304841 hasRelatedWork W2767681984 @default.
- W3094304841 hasRelatedWork W2965845133 @default.
- W3094304841 hasRelatedWork W4285586669 @default.
- W3094304841 hasRelatedWork W4312205422 @default.
- W3094304841 hasVolume "325" @default.
- W3094304841 isParatext "false" @default.
- W3094304841 isRetracted "false" @default.
- W3094304841 magId "3094304841" @default.
- W3094304841 workType "article" @default.