{"id":"https://openalex.org/W1991932368","doi":"https://doi.org/10.1109/isads.2013.6513433","title":"Model-based test cases generation for Onboard system","display_name":"Model-based test cases generation for Onboard system","publication_year":2013,"publication_date":"2013-03-01","ids":{"openalex":"https://openalex.org/W1991932368","doi":"https://doi.org/10.1109/isads.2013.6513433","mag":"1991932368"},"language":"en","primary_location":{"id":"doi:10.1109/isads.2013.6513433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isads.2013.6513433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039789791","display_name":"Jidong Lv","orcid":"https://orcid.org/0000-0001-8404-6820"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jidong Lv","raw_affiliation_strings":["Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005727198","display_name":"Kaicheng Li","orcid":"https://orcid.org/0000-0001-5500-7523"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaicheng Li","raw_affiliation_strings":["Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103219085","display_name":"Guodong Wei","orcid":"https://orcid.org/0000-0002-3305-1619"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guodong Wei","raw_affiliation_strings":["Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Transportation Operation And Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067908158","display_name":"Tao Tang","orcid":"https://orcid.org/0000-0001-7838-8525"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Tang","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082106672","display_name":"Chenling Li","orcid":"https://orcid.org/0000-0003-3886-7884"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenling Li","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026397325","display_name":"Weihui Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weihui Zhao","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University,Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I21193070"],"apc_list":null,"apc_paid":null,"fwci":1.4586,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82104363,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"34","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7905827760696411},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.683131992816925},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6166337728500366},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.5677281022071838},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5573157072067261},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5541248321533203},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5221738815307617},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5185626149177551},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5181959271430969},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5173656344413757},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5035552382469177},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.45598462224006653},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.45271432399749756},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4518350064754486},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4398324191570282},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3741084933280945},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2160385251045227},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18624404072761536},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.16895872354507446},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1514793336391449},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14968812465667725},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10810926556587219},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10514646768569946},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.09860697388648987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7905827760696411},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.683131992816925},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6166337728500366},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.5677281022071838},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5573157072067261},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5541248321533203},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5221738815307617},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5185626149177551},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5181959271430969},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5173656344413757},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5035552382469177},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.45598462224006653},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.45271432399749756},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4518350064754486},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4398324191570282},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3741084933280945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2160385251045227},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18624404072761536},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.16895872354507446},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1514793336391449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14968812465667725},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10810926556587219},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10514646768569946},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09860697388648987},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isads.2013.6513433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isads.2013.6513433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1595529556","https://openalex.org/W1819753831","https://openalex.org/W2101508170","https://openalex.org/W2153770341","https://openalex.org/W2366158713","https://openalex.org/W2391764506","https://openalex.org/W2911583164","https://openalex.org/W2920918444","https://openalex.org/W4251166607","https://openalex.org/W6760068272"],"related_works":["https://openalex.org/W572432826","https://openalex.org/W2741563842","https://openalex.org/W2061183036","https://openalex.org/W2145505903","https://openalex.org/W2114226943","https://openalex.org/W2578987896","https://openalex.org/W2098804367","https://openalex.org/W593718774","https://openalex.org/W3110086843","https://openalex.org/W2154032253"],"abstract_inverted_index":{"The":[0],"Onboard":[1,45,109,153,175],"system":[2,46,154],"is":[3,25,73,85,116,165,168],"a":[4,89,158],"typical":[5],"safety-critical":[6],"system,":[7],"in":[8,42,47,104,139],"which":[9,24,61,167],"any":[10],"fault":[11],"can":[12],"lead":[13],"to":[14,67,92,143],"huge":[15],"human":[16],"injury":[17],"or":[18],"wealth":[19],"losing.":[20],"Function":[21],"testing":[22,43,78,83,106,173],"method":[23,84],"mainly":[26],"focus":[27],"on":[28,98,123],"the":[29,33,36,44,48,55,71,77,108,124,152,174],"conformance":[30],"relation":[31],"between":[32],"specification":[34,72],"and":[35,65,80,102,134,157],"SUT":[37],"has":[38],"been":[39],"widely":[40],"used":[41,138],"past":[49],"few":[50],"years.":[51],"However,":[52],"most":[53],"of":[54,107,129,141,151],"test":[56,94,145,149,163],"cases":[57],"are":[58,137,155],"manually":[59],"generated":[60],"can't":[62],"be":[63],"reused":[64],"leads":[66],"repeat":[68],"works":[69],"when":[70],"changed.":[74],"To":[75],"improve":[76],"efficiency":[79],"quality,":[81],"Model-based":[82],"introduced.":[86],"We":[87],"use":[88],"tool":[90,119,140],"chain":[91],"generate":[93,144],"case":[95,146],"automatically":[96],"based":[97,122],"Timed":[99],"Automata":[100],"theory":[101],"apply":[103],"function":[105,162],"system.":[110,176],"EBD-TR":[111,125],"timed":[112],"automata":[113],"network":[114],"model":[115,160],"established":[117],"using":[118],"Uppaal.":[120],"And":[121],"model,":[126],"two":[127],"kinds":[128],"coverage":[130],"criteria":[131],"(all-location":[132],"coverage,":[133],"all-edge":[135],"coverage)":[136],"CoVer":[142],"automatically.":[147],"Different":[148],"suits":[150],"acquired":[156],"complete":[159],"transition":[161],"suit":[164],"derived":[166],"proven":[169],"very":[170],"useful":[171],"for":[172]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}