您所在的位置： 首页 > 专利技术 > 正文
专利基本信息
专利名称 基于占优度的消息传递并行程序变异体约简方法
专利状态 - 专利号（申请号） CN104750610B
专利申请日期 2015-03-24 专利类型 发明专利
申请公布号 2015101400523 申请公布日 2015-03-24
授权公告号 - 授权公告日 -
发明人 巩敦卫;陈永伟;姚香娟;张功杰;田甜;张晨;王金鑫
专利权人 中国矿业大学
专利摘要 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法,该方法包括:形成消息传递并行程序弱变异测试转化后的新程序;确定新程序中各变异条件语句真分支之间的占优关系;计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度;得到冗余的变异条件语句真分支并进行约简;得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序,根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简,不仅减少了变异体的数量,还提高了变异测试的效率,为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
专利价值评估分析
专利价值评估分析 样例
相关推荐
技术专利 技术专家 技术成果
一种洗鞋机
专利号：202520654594.1
实用新型专利
一种复合材料螺旋铣孔专用刀具
专利号：ZL 2023 1 0672758.9
发明专利
一种蛇形硬质镜鞘管
专利号：2024229087426
实用新型专利
一种风机主控桨距及转矩指令处理系统
专利号：ZL202010899714.6
发明专利
一种晾衣架
专利号：CN224140552U
实用新型专利
一种无定型碳的制备方法
专利号：ZL202111152691.3
发明专利
定向诱导绒山羊毛囊干细胞向毛囊细胞分化的方法
本发明公开了一种定向诱导绒山羊毛囊干细胞向毛囊细胞分化的方法,属于绒山羊毛囊干细胞的诱导分化领域。本...
行业：牲畜饲养
一种干酪乳杆菌及其在改善血脂代谢和免疫调节中的应用
本发明涉及一种干酪乳杆菌(Lactobacillus casei Zhang)及其在改善血脂代谢和免...
行业：医院
一种选择性计数酸奶中保加利亚杆菌的方法
本发明涉及一种选择性计数酸奶中保加利亚杆菌的方法,该方法包括选择适于保加利亚乳杆菌生长的选择性计数培...
行业：饮料制造
一株德氏乳杆菌保加利亚亚种MGA17#6 及其用途
本发明涉及一株德氏乳杆菌保加利亚亚种(Lactobacillus#delbrueckii#subsp...
行业：其他食品制造
一株具有抗甜瓜枯萎菌和抗甜瓜疫霉菌活性的植物乳杆菌AB-4及其应用
本发明公开了一种具有抗甜瓜枯萎活性的植物乳杆菌Lactobacillus?plantarum?AB-...
行业：蔬菜、食用菌及园艺作物种植
斯氏副柔线虫丝氨酸/苏氨酸蛋白激酶Pj STPK基因克隆、原核表达方法及应用
本发明公开了斯氏副柔线虫丝氨酸/苏氨酸蛋白激酶Pj
行业：研究和试验发展
Baidu
map