{“id”:“https://openalex.org/W2139540964“,”doi“:”https://doi.org/10.1109/ifita.2009.18“,”title“:“基于安全要求的安全关键软件系统自动安全测试方法”,”display_name“:“根据安全要求对安全关键软件进行自动安全测试的方法”,“publication_year”:2009,“publiation_date”:“2009-05-01”,“ids”:{“openalex”:“https://openalex.org/W2139540964“,”doi“:”https://doi.org/10.1109/ifita.2009.18“,”mag“:”2139540964“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1109/ifita.2009.18“,”pdf_url“:null,”source“:null,”license“:null',”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:“procesdings-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:false,”oa_status“:”closed“,”oa_url”:null“,”any_repository_has_fulltext“:false}”,”authorships“:[{”author_position“:”first“,”作者“:{”id“:”https://openalex.org/A5040261755“,”display_name“:”Gao Yu“,”orcid“:”https://orcid.org/0000-0003-1376-7959},“机构”:[{“id”:https://openalex.org/I116953780“,”display_name“:”同济大学“,”ror“:”https://ror.org/03rc6as71“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I116953780“]},{”id“:”https://openalex.org/I113940042“,”display_name“:”上海大学“,”ror“:”https://ror.org/006teas31“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I113940042“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Gang Yu“,”rau_affiliation_strings“:[“中国上海同济大学电子信息工程学院”,“中国上海大学悉尼商学院”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5004751620“,”display_name“:”Zhong wei Xu“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I116953780“,”display_name“:”同济大学“,”ror“:”https://ror.org/03rc6as71“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I116953780“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”徐忠伟“,”raw _ afiliation_strings“:[“中国上海同济大学电子信息工程学院”]},{“author_position”:“last”,“author”:{“id”:“https://openalex.org/A5008516209“,”display_name“:”Jun Wei Du“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I116953780“,”display_name“:”同济大学“,”ror“:”https://ror.org/03rc6as71“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I116953780“]},{”id“:”https://openalex.org/I143413998“,”display_name“:”青岛科技大学“,”ror“:”https://ror.org/041j8js14“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I143413998“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”杜军伟“,”rau_affiliation_strings“:[“中国上海同济大学电子与信息工程学院”,“中国青岛科技大学信息科学与技术学院”]}],”countries_distiction_count“:1,”institutions_distinct_count“:3,”corresponding_author_ids“:[],”correcponding_institution_ids”:[]、“apc_list”:null,“apc_payed”:null,“has_fulltext”:true,“fulltext_origin”:“ngrams”,“cited_by_count”:9,“cited_by_percentile_year”:{“min”:85,“max”:86},“biblio”:{“volume”:null,“issue”:nul,“first_page”:null},“is_retracted”:false,“is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T10743“,”“display_name”:“自动化软件测试技术”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10743“,”“display_name”:“自动化软件测试技术”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T12423“,”display_name“:”软件可靠性评估与预测“,”score“:0.9999,”subfield“:{”id“:”https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T12127“,”“display_name”:“日志分析和系统性能诊断”,“score”:0.9978,“subfield”:{“id”:“https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/software-reliability建模“,”display_name“:”软件可靠性建模“,”score“:0.557625},{”id“:”https://openalex.org/keywords/model-base测试“,”display_name“:”基于模型的测试“,”score“:0.552851},{”id“:”https://openalex.org/keywords/automated-testing网站“,”display_name“:”自动测试“,”score“:0.538156},{”id“:”https://openalex.org/keywords/testing-effort-dependent-models网站“,”display_name“:”Testing-Effort Dependent Models“,”score“:0.535229},{”id“:”https://openalex.org/keywords/search-based-testing网站“,”display_name“:”基于搜索的测试“,”score“:0.523444}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.6324037},{”id“:”https://openalex.org/C163707989,“wikidata”:https://www.wikidata.org/wiki/Q1996307“,”display_name“:”生命临界系统“,”level“:3,”score“:0.60311216},{”id“:”https://openalex.org/C188598960,“wikidata”:https://www.wikidata.org/wiki/Q7705805“,”display_name“:”测试策略“,”level“:3,”score“:0.54928553},{”id“:”https://openalex.org/C132835097,“wikidata”:https://www.wikidata.org/wiki/Q7663745“,”display_name“:”系统安全“,”级别“:2,”分数“:0.5196582},{”id“:”https://openalex.org/C200601418,“wikidata”:https://www.wikidata.org/wiki/Q2193887“,”display_name“:”可靠性工程“,”level“:1,”score“:0.51133054},{”id“:”https://openalex.org/C148493468,“wikidata”:https://www.wikidata.org/wiki/Q2646951“,”display_name“:”功能安全“,”level“:2,”score“:0.4934148},{”id“:”https://openalex.org/C7166840,“wikidata”:https://www.wikidata.org/wiki/Q1199682“,”display_name“:”系统测试“,”level“:2,”score“:0.49000064},{”id“:”https://openalex.org/C108913964,“wikidata”:https://www.wikidata.org/wiki/Q2376856网址“,”display_name“:”测试中的系统“,”级别“:4,”分数“:0.4866477},{”id“:”https://openalex.org/C86469151,“wikidata”:https://www.wikidata.org/wiki/Q917415“,”display_name“:”非回归测试“,”level“:5,”score“:0.46420962},{”id“:”https://openalex.org/C107683887,“wikidata”:https://www.wikidata.org/wiki/Q782466“,”display_name“:”集成测试“,”level“:3,”score“:0.4612118},{”id“:”https://openalex.org/C165825675,“wikidata”:https://www.wikidata.org/wiki/Q1399743“,”display_name“:”基于模型的测试“,”level“:4,”score“:0.45802316},{”id“:”https://openalex.org/C162443782,“wikidata”:https://www.wikidata.org/wiki/Q1066228“,”display_name“:”白盒测试“,”level“:5,”score“:0.45399553},{”id“:”https://openalex.org/C2780074322,“wikidata”:https://www.wikidata.org/wiki/Q28130043“,”“display_name”“:”关键系统“,”级别“:2,”分数“:0.41812256},{”id“:”https://openalex.org/C2777904410,“wikidata”:https://www.wikidata.org/wiki/Q7397“,”display_name“:”软件“,”级别“:2,”分数“:0.40333182},{”id“:”https://openalex.org/C115903868,“wikidata”:https://www.wikidata.org/wiki/Q80993“,”display_name“:”软件工程“,”level“:1,”score“:0.31559402},{”id“:”https://openalex.org/C128942645,“wikidata”:https://www.wikidata.org/wiki/Q1568346“,”display_name“:”测试用例“,”level“:3,”score“:0.30523747},{”id“:”https://openalex.org/C149091818,“wikidata”:https://www.wikidata.org/wiki/Q2429814“,”display_name“:”软件系统“,”级别“:3,”分数“:0.3028681},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”Engineering“,”level“:0,”score“:0.22568464},{”id“:”https://openalex.org/C186846655,“wikidata”:https://www.wikidata.org/wiki/Q3398377“,”display_name“:”软件构建“,”level“:4,”score“:0.21924624},{”id“:”https://openalex.org/C111919701,“wikidata”:https://www.wikidata.org/wiki/Q9135“,”display_name“:”操作系统“,”level“:1,”score“:0.10178387},{”id“:”https://openalex.org/C119857082,“wikidata”:https://www.wikidata.org/wiki/Q2539“,”display_name“:”机器学习“,”level“:1,”score“:0.07657376},{”id“:”https://openalex.org/C152877465,“wikidata”:https://www.wikidata.org/wiki/Q208042“,”display_name“:”回归分析“,”level“:2,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1109/ifita.2009.18“,”pdf_url“:null,”source“:null,”license“:null:”license_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false}],”best_oa_location“:nul,”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[]:”,“referenced_works_count”:6,“referrenced_works”:[”https://openalex.org/W1501347099","https://openalex.org/W2045506002","https://openalex.org/W2100505193","https://openalex.org/W2160701357","https://openalex.org/W2171288164","https://openalex.org/W4239921445“],”related_works“:[”https://openalex.org/W4288101495","https://openalex.org/W3169540112","https://openalex.org/W3083361680","https://openalex.org/W3022773452","https://openalex.org/W2389909316","https://openalex.org/W2139540964","https://openalex.org/W2083501371","https://openalex.org/W2018543553","https://openalex.org/W1989008086","https://openalex.org/W12495686“],”ngrams_url“:”https://api.openalex.org/works/W2139540964/ngrams“,”“abstract_inverted_index”:{“安全”:[0],“是”:[1,29],“a”:[2],“非常”:[3],“重要”:[4],“属性”:[5],“对于”:[6,90],“安全关键”:[7,16],“软件”:[8,17],“系统”:[9],“我们”:[10],“介绍”:[11],“an”:[12,76,82],“方法”:[13],“到”:[14,47],“测试”“:[15,49,54],”系统“:[18],”基于“:[19],”依据“:[20],”安全“:[21,33,93],”要求“:[22,34],”通过“:[23],”使用“:[24,70],”基于模型“:[25],”测试。“:[26],”The“:[27],”model“:[28,44,65],”extract“:[30],”from“:[31],”The“:[32,61,71,92],”and“:[35,80],”system“:[36,99],”under“:[37],”test。“:[38],”在“:[39],”我们的“:[40],”方法“:[41,72],”我方“:[42,59,73],”使用“:[43],”检查“:[45],”技术“:[46],”生成“:[48],”案例。“:[50],“To”:[51],“find”:[52],“appropriate”:[53],“cases”:[55],“in”:[56100],“less”:[57],“time”,“:[58],“divide”:60],“states”:【62】,“spaces”:【63】,“of”:【64,94】,“into”:【66】,“different”:【67】,“subset”。“:[68],”由“:[69],”有“:[74],”设计“:[75],”自动“:[77,83],”测试“:[78,84,91],”框架“:[79],”开发“:[81],”平台“:[85],”其中“:[86],”已“:[87],”被“:[88],”使用“:[89],”高“:[95],”速度“:[96],”列车“:[97],”控制“:[98],”中国。“:[101]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2139540964“,”“counts_by_year”:[{“年份”:2023,”“cited_by_count”:1},{“年”:2022,”“cited_by_cunt”:1',{”“年”“:2021,”“cited_by-count”“:1},{年”:2019,“cited_by_count“:2},}”“年份”“:2017,”“引用_by_contount”更新日期:“2024-05-11T22:13:02.597026”,“创建日期”:“2016-06-24”}