{"id":"https://openalex.org/W2085994745","doi":"https://doi.org/10.1017/s0960129513000789","title":"Bayesian theory based software reliability demonstration test method for safety critical software","display_name":"Bayesian theory based software reliability demonstration test method for safety critical software","publication_year":2014,"publication_date":"2014-09-04","ids":{"openalex":"https://openalex.org/W2085994745","doi":"https://doi.org/10.1017/s0960129513000789","mag":"2085994745"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129513000789","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129513000789","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-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/A5101584115","display_name":"Yumei Wu","orcid":"https://orcid.org/0000-0002-3465-5131"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"YUMEI WU","raw_affiliation_strings":["School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","Beihang Univ.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Beihang Univ.#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034908423","display_name":"Risheng Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"RISHENG YANG","raw_affiliation_strings":["School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","Beihang Univ.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Beihang Univ.#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100398335","display_name":"Haifeng Li","orcid":"https://orcid.org/0000-0001-6206-3662"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"HAIFENG LI","raw_affiliation_strings":["School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","Beihang Univ.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Beihang Univ.#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111849658","display_name":"MINYA LU","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"MINYA LU","raw_affiliation_strings":["School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","Beihang Univ.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Reliability and Systems Engineering, Beihang University, Beijing, China Email:","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Beihang Univ.#TAB#","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101584115"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.16945315,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"24","issue":"5","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10968","display_name":"Statistical Distribution Estimation and Applications","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.7482513189315796},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.6241125464439392},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.6013665795326233},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5641301274299622},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5412374138832092},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.49037981033325195},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.474028617143631},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4707157015800476},{"id":"https://openalex.org/keywords/software-reliability-testing","display_name":"Software reliability testing","score":0.4483107030391693},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4324685335159302},{"id":"https://openalex.org/keywords/software-metric","display_name":"Software metric","score":0.4174363911151886},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.28131788969039917},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21506807208061218},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1586953103542328},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11336708068847656},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07482972741127014}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7482513189315796},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.6241125464439392},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.6013665795326233},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5641301274299622},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5412374138832092},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.49037981033325195},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.474028617143631},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4707157015800476},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.4483107030391693},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4324685335159302},{"id":"https://openalex.org/C82214349","wikidata":"https://www.wikidata.org/wiki/Q657339","display_name":"Software metric","level":5,"score":0.4174363911151886},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.28131788969039917},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21506807208061218},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1586953103542328},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11336708068847656},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07482972741127014},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129513000789","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129513000789","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W128740895","https://openalex.org/W2017707647","https://openalex.org/W2110042321","https://openalex.org/W2113117978","https://openalex.org/W2125293863","https://openalex.org/W2144361182","https://openalex.org/W2148338793","https://openalex.org/W2153242493","https://openalex.org/W2164501290","https://openalex.org/W2348025319","https://openalex.org/W2363297760","https://openalex.org/W2383512575"],"related_works":["https://openalex.org/W1521772560","https://openalex.org/W4238386252","https://openalex.org/W4303457073","https://openalex.org/W4226182203","https://openalex.org/W2029555411","https://openalex.org/W2199893447","https://openalex.org/W3206587736","https://openalex.org/W2558027728","https://openalex.org/W2012057830","https://openalex.org/W4224250221"],"abstract_inverted_index":{"The":[0,114],"original":[1],"software":[2,81,138],"reliability":[3,141],"demonstration":[4,82,106],"test":[5],"(SRDT)":[6],"does":[7],"not":[8],"take":[9],"adequate":[10],"account":[11],"of":[12,26,97],"prior":[13,17,60],"knowledge":[14],"or":[15],"the":[16,30,49,59,104,118,134],"distribution,":[18],"which":[19],"can":[20],"lead":[21],"to":[22,57],"an":[23],"expensive":[24],"use":[25,54],"many":[27],"resources.":[28],"In":[29],"current":[31],"paper,":[32],"we":[33,53,85],"propose":[34],"a":[35,46,95],"new":[36,101],"improved":[37],"Bayesian":[38,80],"based":[39],"SRDT":[40,50],"method.":[41],"We":[42,91],"begin":[43],"by":[44],"constructing":[45],"framework":[47],"for":[48,64,75,136],"scheme,":[51],"then":[52,72],"decreasing":[55],"functions":[56,63,83],"construct":[58],"distribution":[61],"density":[62],"both":[65,76,124],"discrete":[66,77],"and":[67,71,78,88,120,127,130],"continuous":[68,79],"safety-critical":[69,137],"software,":[70],"present":[73],"schemes":[74,102,122],"(which":[84],"call":[86],"DBSDF":[87,119],"CBSDF,":[89],"respectively).":[90],"have":[92],"carried":[93],"out":[94],"set":[96],"experiments":[98],"comparing":[99],"our":[100],"with":[103,139],"classic":[105],"testing":[107],"scheme":[108],"on":[109],"several":[110],"published":[111],"data":[112],"sets.":[113],"results":[115],"reveal":[116],"that":[117],"CBSDF":[121],"are":[123],"more":[125,128],"efficient":[126],"applicable,":[129],"this":[131],"is":[132],"especially":[133],"case":[135],"high":[140],"requirements.":[142]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}