基于信息流的关键软件缺陷定位技术

来源 :载人航天 | 被引量 : 0次 | 上传用户:bombwang1986
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷.
其他文献
Kruppel样转录因子(KLF)是一类具有锌指结构的转录因子,该家族已有超过26个成员被确认,KLF广泛表达于各种细胞系中,在不同的细胞中发挥着重要的作用。KLF8作为该家族的重要成
2014年,国外主要航天国家继续大力推进新一代载人航天系统的研制,载人航天与深空探索领域取得诸多显著成果。对美国而言,能力驱动成为推动载人航天持续发展的重要途径,多目标选择成为其下一步探索的主要特点。月球没有放弃,载人小行星重定向方案逐渐明晰但备受质疑,火星始终作为其可预见的载人空间探索的最终目标。面对国内是否继续发展载人航天的争论,美
辐射生物物理模型对于准确、有效地评估空间辐射引起的生物损伤及风险具有重要意义。目前较为流行的基于地基模拟的“靶效应模型”和“非靶效应模型”,是进一步探索空间辐射生
江泽民总书记在"七一"重要讲话中指出:"在革命、建设和改革的各个历史阶段中,我们党既有每个阶段的基本纲领即最低纲领,也有确定长远奋斗目标的最高纲领.我们是最低纲领和最
航天飞行和模拟失重可抑制人体热调节反应,主要表现为机体静息和运动状态下皮肤血管舒张反应能力下降和核心体温的升高。载人航天器内采用恒速机械风(CAF)保持舱内大气环境的均
【何邦春报道】根据赣州市赣县区科协的部署和要求,11日15日,赣州市赣县区蜂业协会召开学习贯彻党的十九届五中全会精神座谈会,区蜂业协会会长、常务副会长、副会长、部分理
第一,“要弄清什么是资本主义。资本主义要比封建主义优越”。(《邓小平文选》第2卷,第351页)必须充分肯定资本主义在人类历史上相比较封建主义而言的巨大进步性。对资本主义
在当代文化哲学视域下对西方形而上学类型以及功能给予文化学的分析;主要论证了形而上学文化类型的演进历史及其内在价值;深入探讨了形而上学文化的奠基过程和历史演进过程,集中
利用蒙特卡罗方法模拟计算了56GeV铁离子穿过简化空间飞行器中水模体的总剂量深度分布以及次级粒子剂量深度分布,统计了次级中子在水模体中的通量深度分布。计算结果表明:56GeV
以东北的松花石制砚,明代即有先例,清代造办处用松花石制砚在康熙二十一年之后。"宫作砚"的石材主要以产于"龙兴之地"的东北松花石为石材,但也有端石、歙石、西山石、湖广二