{"id":"https://openalex.org/W3176884782","doi":"https://doi.org/10.1109/icccs52626.2021.9449261","title":"A Method of Test Case Generation Based on VRM Model","display_name":"A Method of Test Case Generation Based on VRM Model","publication_year":2021,"publication_date":"2021-04-23","ids":{"openalex":"https://openalex.org/W3176884782","doi":"https://doi.org/10.1109/icccs52626.2021.9449261","mag":"3176884782"},"language":"en","primary_location":{"id":"doi:10.1109/icccs52626.2021.9449261","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccs52626.2021.9449261","pdf_url":null,"source":{"id":"https://openalex.org/S4306498809","display_name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5007129461","display_name":"Zhipeng Qiu","orcid":"https://orcid.org/0009-0003-3668-4432"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiu Zhipeng","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067057943","display_name":"Lisong Wang","orcid":"https://orcid.org/0000-0001-6482-3717"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang Lisong","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110725764","display_name":"Jiexiang Kang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kang Jiexiang","raw_affiliation_strings":["China National Aeronautic Radio Electronics Research Institute, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China National Aeronautic Radio Electronics Research Institute, Shanghai, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058018133","display_name":"Zhongjie Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao Zhongjie","raw_affiliation_strings":["China National Aeronautic Radio Electronics Research Institute, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China National Aeronautic Radio Electronics Research Institute, Shanghai, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100460917","display_name":"Hui Wang","orcid":"https://orcid.org/0000-0003-2633-6015"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hui Wang","raw_affiliation_strings":["China National Aeronautic Radio Electronics Research Institute, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China National Aeronautic Radio Electronics Research Institute, Shanghai, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108438595","display_name":"Wei Yin","orcid":"https://orcid.org/0000-0003-3281-2380"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei Yin","raw_affiliation_strings":["China National Aeronautic Radio Electronics Research Institute, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China National Aeronautic Radio Electronics Research Institute, Shanghai, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005740464","display_name":"Xiangyu Shen","orcid":"https://orcid.org/0000-0002-6723-9441"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shen Xiangyu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1099","last_page":"1107"},"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.9998000264167786,"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.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7205917835235596},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5818923115730286},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5358937978744507},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.5157740116119385},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.49081286787986755},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.470064252614975},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.46508923172950745},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4605391025543213},{"id":"https://openalex.org/keywords/test-management-approach","display_name":"Test Management Approach","score":0.4603736996650696},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4335963726043701},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.4310623109340668},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41816478967666626},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3651006817817688},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2981037199497223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2707006335258484},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.20312437415122986},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12522950768470764},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11484676599502563},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10981479287147522}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7205917835235596},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5818923115730286},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5358937978744507},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.5157740116119385},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.49081286787986755},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.470064252614975},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.46508923172950745},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4605391025543213},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.4603736996650696},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4335963726043701},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4310623109340668},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41816478967666626},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3651006817817688},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2981037199497223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2707006335258484},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.20312437415122986},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12522950768470764},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11484676599502563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10981479287147522},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icccs52626.2021.9449261","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccs52626.2021.9449261","pdf_url":null,"source":{"id":"https://openalex.org/S4306498809","display_name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G7509345775","display_name":null,"funder_award_id":"2014CB744900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2090216527","https://openalex.org/W2149744265","https://openalex.org/W2417128866","https://openalex.org/W2583431725","https://openalex.org/W2801778603","https://openalex.org/W2846948593","https://openalex.org/W2917572361","https://openalex.org/W2946727759","https://openalex.org/W3012269447","https://openalex.org/W3100965910"],"related_works":["https://openalex.org/W2204156854","https://openalex.org/W2018145554","https://openalex.org/W2417055705","https://openalex.org/W2243231242","https://openalex.org/W1978406750","https://openalex.org/W4232038577","https://openalex.org/W1978910953","https://openalex.org/W1888619389","https://openalex.org/W1968494916","https://openalex.org/W4376482197"],"abstract_inverted_index":{"At":[0],"present,":[1],"most":[2],"software":[3,28,55],"testing":[4,128],"in":[5,129,176],"the":[6,10,23,27,30,43,49,54,61,70,76,78,82,86,93,98,105,118,123,135,140,145,149,159,171,174],"industry":[7],"starts":[8],"from":[9,81],"code":[11,127],"to":[12,21,47,85,91,122],"generate":[13],"test":[14,37,99,113,163],"case":[15,38,114,154,164],"sets,":[16],"and":[17,66,72,110,116,143],"it":[18],"is":[19,89,156],"difficult":[20],"answer":[22],"question":[24],"of":[25,75,97,107,126,148,162,173],"whether":[26],"meets":[29],"requirement":[31,63,141],"design.":[32],"This":[33],"article":[34,103,132],"provides":[35],"a":[36,153],"generation":[39,161],"method":[40,175],"based":[41,138],"on":[42,139],"formal":[44,62],"requirements":[45,57],"model":[46,64],"build":[48],"bridge":[50],"among":[51],"them.":[52],"First,":[53],"system":[56],"are":[58],"modeled":[59],"through":[60,158],"(VRM),":[65],"then":[67],"by":[68,167],"analyzing":[69],"input":[71,83],"output":[73,87],"structure":[74],"model,":[77,142],"constraint":[79],"path":[80,111],"variable":[84,88],"extracted":[90],"support":[92],"error":[94,109,112],"type":[95],"analysis":[96,147],"case.":[100],"Then,":[101],"this":[102,131,177],"defines":[104,134],"concept":[106],"compute":[108],"type,":[115],"designs":[117],"extraction":[119],"algorithm.":[120],"According":[121],"coverage":[124,136,146],"standard":[125,137],"DO-178C,":[130],"also":[133],"gives":[144],"above":[150],"methods.":[151],"Finally,":[152],"study":[155],"given":[157],"automatic":[160],"tools":[165],"developed":[166],"ourselves,":[168],"which":[169],"illustrates":[170],"effectiveness":[172],"paper.":[178]},"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}