【摘 要】
：
软件测试按测试的执行阶段可划分为单元测试、集成测试、系统测试和验收测试。作为软件测试的第一阶段,单元测试只对软件中的最小可测试单元进行检查和验证,相对于其他阶段的
论文部分内容阅读
软件测试按测试的执行阶段可划分为单元测试、集成测试、系统测试和验收测试。作为软件测试的第一阶段,单元测试只对软件中的最小可测试单元进行检查和验证,相对于其他阶段的测试,具有故障发现率高、发现成本低和修复成本低等特点,因此做好充分有效的单元测试是非常重要和有意义的。自动化的单元测试可以弥补传统手工测试效率低、失误率高的缺陷,测试用例自动生成则是自动化单元测试的研究重点。论文围绕着自动化单元测试中面向路径的测试进行研究,关于如何有效的提取和存储路径上变量的语义和约束来为测试用例生成提供支持,提出了抽象内存建模技术。抽象内存建模技术由三部分组成：抽象内存存储模型、约束提取算法和非数值型测试用例形状构建。抽象内存存储模型用于记录变量的语义和约束信息；约束提取算法针对C语言各种数据类型的各种操作进行语义分析和约束提取,并存储到抽象内存中；在路径分析结束之后,非数值型测试用例形状构建算法的作用是提取并分析抽象内存中存储的变量和语义构建非数值型测试用例的形状。本文作者在代码测试系统Code Test System (CTS)中实现了抽象内存建模技术,验证了抽象内存建模技术能有效的存取基于路径的测试中进行语义和约束,并支持测试用例的生成。
其他文献
XML是一种半结构化的数据描述语言,因其具备高可读性、跨平台性和可扩展等特性,在互联网领域被广泛应用。为了推动XML数据查询和处理的标准化,国际万维网组织W3C发布了XQuery
人体检测技术是计算机视觉领域一个重要的研究方向，是实现智能监控等应用的关键，具有很强的实用价值。许多基于人体目标的高级技术，如异常行为分析、行人追踪等，都直接依赖于人体
随着信息化发展和网络技术的广泛应用,网络安全性变得至关重要。继防火墙,数据加密等安全保护措施后,入侵检测系统成为新一代的安全保障技术。传统的入侵检测系统都有一些缺
随着城市化进程的逐步推进,城市建设快速发展,各类建筑物的地下部分所占空间越来越大,地置深度越来越深。基坑工程向更大、更深、条件更复杂的方向发展,变得更加规范化、信息
无线传感器网络是由部署在监测区域内的大量廉价传感器节点，通过无线通信方式形成的一个多跳的自组织网络，以其低成本、低功耗、自组织和分布式等特点带来了一场信息感知的革命
引文推荐系统的任务就是对书籍文献中的文字片段给出合适的备选引用文献供作者和读者参考，无疑这对于文字工作者而言非常有用。引文推荐问题可以被转化为一个信息检索问题，其中
在任何组织中,允许内部员工外联网络都是一种必然要求,但过多的与工作或学习无关的网络行为将严重影响效率,更可能引发内部安全问题,根据多个机构发布的调查报告,在我国企业
近十年来，基于IP网络的语音及视频通话在技术上发展迅速，其实际应用也越来越广泛。视频通话功能满足用户对实时通讯更高的需求，具有很好的应用前景。PKUnity-3(65)是一款由北京
随着物联网时代脚步的临近，嵌入式系统的在网络端的应用与日俱增。然而目前主流的IPv4协议由于其有限的地址位，是无法满足物联网时代海量的地址分配需求。因此采用128位的地址，
在无线传感器网络应用中，节点的位置信息对传感器所采集数据的有效应用起着重要作用，节点定位技术因而成为无线传感器网络研究领域的关键技术之一。传感器网络应用环境的开放性