{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:20:11Z","timestamp":1784301611904,"version":"3.55.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/safeprocess45799.2019.9213325","type":"proceedings-article","created":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T19:53:50Z","timestamp":1602014030000},"page":"246-250","source":"Crossref","is-referenced-by-count":6,"title":["Design of Test Case for ATP Speed Monitoring Function Based on Cause-effect Graph"],"prefix":"10.1109","author":[{"given":"Lei","family":"Dou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wu-Dong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"69","article-title":"Application of ATE Test Case Design Based on Causality Diagram Methods","volume":"44","author":"yan","year":"2018","journal-title":"Computer Networks"},{"key":"ref11","first-page":"107","article-title":"The Application of Black Box Testing Method on Air Data Computer Software","volume":"5","author":"xin","year":"2018","journal-title":"Navigation Positioning & Timing[J]"},{"key":"ref12","first-page":"124","article-title":"Verification Method for Completeness of CTCS-3 Test Case Based on Cause-Effect Graph","volume":"37","author":"jiancheng","year":"2016","journal-title":"China Railway Science"},{"key":"ref13","author":"jin","year":"2015","journal-title":"Basis Of Railway Signal"},{"key":"ref14","article-title":"Department of Science and Technology of the Ministry of Railways, Transportation Bureau of the Ministry of Railways. Tieyun [2008]","year":"2008","journal-title":"Technical Specifications for CTCS-3 Class Control Vehicle Equipment (Temporary) Beijing Department of Science and Technology Ministry of Railways"},{"key":"ref15","author":"yue-shun","year":"2012","journal-title":"Software Testing Technology and Application"},{"key":"ref16","article-title":"Ministry of Railways of the People's Republic of China. Science and Technology Transportation [2009]","year":"2009","journal-title":"Test Cases for CTCS-3 Train Control System (v3 0)"},{"key":"ref4","author":"zhisong","year":"2016","journal-title":"High-speed railway train operation control technology-CTCS-3 train operation control system"},{"key":"ref3","first-page":"17","article-title":"Research on Software Simulation Test of Train Operation Monitoring System","volume":"53","author":"qingxiang","year":"2017","journal-title":"Railway Signalling & Communication"},{"key":"ref6","first-page":"54","article-title":"Mutation model-based generation of test cases for CTCS-3 Train Control System","volume":"24","author":"xiaoliang","year":"2015","journal-title":"Railway computer application"},{"key":"ref5","first-page":"917","article-title":"Model-Based Test Case Automatic Generation of CTCS-3 Train Control System","volume":"50","author":"jidong","year":"2015","journal-title":"Journal of Southwest Jiaotong University"},{"key":"ref8","first-page":"1798","article-title":"Application of test case design of system test based on scenario methods","volume":"37","author":"xiao-juan","year":"2016","journal-title":"Computer Engineering and Design"},{"key":"ref7","first-page":"141","article-title":"Design of Test Cases for Level Transition Function of Train Control System Based on Scene Method","volume":"63","author":"lei","year":"2019","journal-title":"Railway Standard Design"},{"key":"ref2","first-page":"55","article-title":"Research on Model-based Test Case Generation Method of Onboard Subsystem in CTCS-3","volume":"36","author":"lei","year":"2014","journal-title":"Journal of the china railway society"},{"key":"ref1","first-page":"1","article-title":"Technology and Application of Train Operation Control System for China Rail Transit System","volume":"39","author":"bin","year":"2017","journal-title":"Journal of the china railway society"},{"key":"ref9","article-title":"Application of Causality Diagram Test Method for Metro Network Application Software Approval Test","volume":"41","author":"shuai","year":"2017","journal-title":"ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING"}],"event":{"name":"2019 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS)","location":"Xiamen, China","start":{"date-parts":[[2019,7,5]]},"end":{"date-parts":[[2019,7,7]]}},"container-title":["2019 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9203788\/9213242\/09213325.pdf?arnumber=9213325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:46:34Z","timestamp":1658094394000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9213325\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/safeprocess45799.2019.9213325","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}