【摘 要】
:
路径测试是一种覆盖程度较高的白盒测试方法,测试软件的完整路径可以有效提高软件可靠性,而路径生成是路径测试的前提。随着软件规模和复杂性的日益增加,程序中分支、循环以及函数调用的嵌套使用,使得路径的长度和数量激增。目前已有的测试方法难以自动生成软件的完整路径,实现对路径的详细测试。针对上述问题,本文提出了一种完整路径自动生成模型。围绕该模型本文做了以下研究:(1)针对分支和循环引起的路径爆炸问题,提出
论文部分内容阅读
路径测试是一种覆盖程度较高的白盒测试方法,测试软件的完整路径可以有效提高软件可靠性,而路径生成是路径测试的前提。随着软件规模和复杂性的日益增加,程序中分支、循环以及函数调用的嵌套使用,使得路径的长度和数量激增。目前已有的测试方法难以自动生成软件的完整路径,实现对路径的详细测试。针对上述问题,本文提出了一种完整路径自动生成模型。围绕该模型本文做了以下研究:(1)针对分支和循环引起的路径爆炸问题,提出了一种动静结合的基本路径集生成方法。首先基于深度优先搜索策略,结合回溯法、关键路径法等静态选路方法和动态执行方法生成函数内路径,随后判定路径可达性和线性无关性,以此来生成可达的基本路径集。(2)针对函数调用引起的路径爆炸问题,提出了一种启发式过程间路径生成方法。首先将函数调用分为无影响调用、局部影响调用、后置影响调用和局部-后置影响调用四类,随后对不同分类采用随机选择策略和区间匹配策略,最后根据目标函数启发式引导过程间路径生成。上述方法在功能测试系统(Function Test System,FTS)上进行了实现,并选取了 3个开源C语言工程进行验证。实验结果表明,本文提出的完整路径自动生成模型成功地避免了路径爆炸问题,为万行级的被测工程生成了完整路径。
其他文献
4月16日,全球第五大黄金生产商——Harmony黄金矿业公司表示,将关闭南非Virginia矿区的三个亏损的矿井,并且裁员约3.700人。
资产管理系统是以设备综合管理为主要内容的系统,科学的进行资产编码及链接相应的参数,对系统的资产管理尤为重要。本文解析了资产管理系统中资产编码及参数。
本文给出了一种利用积分运放按一定速率产生自动线性增长的电压VH(t)对气敏电阻热丝加热,同时用函数记录仪描绘其工作电流Ig随VH(t)的变化曲线的测量方法。
外电报道,目前国际钻价大幅下跌,MB报价低品位钴价下滑到18美元/磅,原因是市场人士对LME期货价格比较担心。
采用PBO纤维与碳纤维混杂复合材料片材增强加固混凝土,设计了3种混杂比的复合材料片材对混凝土进行增强实验,采用3点抗弯曲试验测试纤维片材对混凝土抗弯曲性能增强效果。结果
胃癌在各类恶性肿瘤中居第二位,是消化系统中最常见的恶性肿瘤。早期胃癌无特异性的临床症状及特征,多数患者在就诊时已属进展期,导致预后较差,五年生存率低于30%。胃癌的发生发
<正>在日趋复杂的经营环境中,传统的以股东利润最大化为目标的运营方式所带来的雇员福利问题、环境污染问题、产品质量问题等越来越引起社会各方面的关注,由此带来的压力要求
血小板是具有止血功能的血细胞成分,也是炎性病变的重要参与者。研究发现,在脓毒症时,血小板对白细胞募集能力的增强及与之形成聚集体是促进炎性病变的重要因素,而血小板数量减少
人们常把阳极和阴极形象比喻为铝电解槽的心脏。炭阳极市场供过于求情况有所改善,但整个行业利润率偏低的局面仍无太大改观;随着振兴规划的实施,预计我国阴极需求量将会增加
随着我国经济的持续稳定发展,铁路建设市场也不断向外扩展,加之国家的大力推进使建设工程项目的发展势头愈加强劲有力。随之而来在建设过程中的问题也不断显现,施工组织效率