单元测试中环境交互模型的设计与实现

来源 :北京邮电大学 | 被引量 : 2次 | 上传用户:dh184866884
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件与系统环境交互是影响单元测试的重要因素。软件代码通过库函数和系统调用与系统环境发生交互,由于缺乏源码或源码过于复杂,使用打桩方法很难模拟这些函数的行为。因此会造成符号执行路径与实际执行路径不一致,无法覆盖全部的被测元素。此外还会造成动态执行过程失败。针对上述问题,本文提出一个为环境建模的方法来解决环境交互问题。(一)由函数的抽象内存模型中存储的函数名、参数个数、参数类型等信息,以及一个记录系统当前资源的系统资源模型,构建了I/O模型、内存模型、网络模型。以上三种模型共同描述了单元测试程序的执行环境。(二)提出了一种自动化地生成C语言桩函数代码的方法。该方法定义一系列的基础语句包括文件打开,内存分配等。在上文所述模型的基础上使桩函数成为与库函数或系统调用功能相同的简单函数。通过桩函数使得单元覆盖测试系统能够与执行环境发生交互对系统中的资源进行操作。在CTS代码测试系统的基础上,实现了本文提出的方法。使用开源代码进行了覆盖率的测试。实验结果显示,与当前的方法相比,在测试用例执行的过程中,覆盖率得到了提升。
其他文献
目的:观察火针联合甘露聚糖肽胶囊治疗面部难治性扁平疣的疗效及安全性。方法:将115例患者随机分为治疗组60例(火针加甘露聚糖肽胶囊组)、对照组55例(甘露聚糖肽胶囊组),分别
会议
应用Wx基因的微卫星标记4 84 4 85和PCR- AccⅠ分子标记对93份籼、粳水稻品种(系)的Wx基因的多态性进行了研究,并探讨了不同基因型与直链淀粉含量的关系。4 84 4 85扩增结
打造新时代政治过硬的纪检监察铁军$$市纪委市监委机关党委专职副书记 刘洪涛$$市纪委市监委机关党委把深入学习贯彻习近平新时代中国特色社会主义思想和党的十九大精神作为
报纸
位于河北涿州市刁窝乡塔照村的永安寺塔是建于辽代的密檐式砖塔,其造型优美庄重,比例匀称,尤其是制作精美的砖仿木建筑构件及砖、石雕刻装饰,式样具有明显的时代特征与地方特色.是
目的:研究CD44v6在胃癌中的表达,探讨其与胃癌临床病理学特征及淋巴结转移的关系,为胃癌的诊断,治疗和预后评估提供理论依据。方法:采用免疫组织化学SP法,检测2例正常胃组织
<正>~~
期刊
<正>每一万个用户里就有一个百万粉丝的红人。从网红诞生之日起,网红对粉丝的影响力就开始逐渐渗透到生活的每一个领域。只是起初,作为新生事物的网红还颇有几分稀有野生的意
目的:观察胎漏、胎动不安的常见中医证型以及中医体质类型,并探讨患者体质与证型特点的关系。方法:收集我院就诊的符合胎漏、胎动不安诊断标准患者的证型、体质类型等临床资
目的:探讨产妇态度与母婴接触时机对出生后新生儿体温的影响,确保母婴早接触及新生儿保暖及复温。方法:产妇知情同意原则下随机选择507例健康产妇和新生儿分为三组,A组包扎脐带后
本文介绍了国内外易腐垃圾处理的现状,分析和比较了易腐垃圾处理技术的优点和缺点,总结了快速生物降解技术在现阶段家庭易腐垃圾处理中的应用情况,并对快速生物降解法处理家