论文部分内容阅读
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段，而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析，提出了生成测试数据的平衡力法，对任意的输入变量，判断变量移动范围及进行谓词中变量的函数极小化．得到测试数据．并给出了具体实现方法。
测试数据自动生成技术研究
【摘 要】
：
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段，而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析，提出了生成测试数据的平衡力
【机 构】
：
哈尔滨师范大学计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年16期
【基金项目】
：
黑龙江省教育厅科技项目（编号：10541098）
其他文献
文章结合国家863项目T比特高性能路由器的研发,提出了用PS（并行交换）结构,利用多个G比特级交换结构来构架一个T比特级的交换网络.这样可以充分利用已掌握的成熟的G比特交换技术
根据当前中国移动公司终端测试管理业务的需求， 通过对业务需求和J2EE规范体系架构的分析和讨论，提出了一个以J2EE为基础、结合MVC设计模型构建终端测试管理平台的方案。分析和
论文介绍了一种有效的针对嵌入式模拟器模拟的框架模型Wukong，Wukong采用了组件的方式，支持多种不同体系结构的嵌入式CPU和丰富的外围设备。Wukong也提供了远程调试和运行时Pro
通过采用一种基于Lyapunov泛函的多变量时滞系统分析技术对网络拥塞控制问题进行了研究,得到了系统以衰减度λ指数稳定的鲁棒镇定条件,在此基础上提出了AQM网络拥塞鲁棒控制
因特网的迅速发展使网络拥塞问题日益得到人们的重视,近年来提出了许多基于路由器的拥塞控制机制.文章详细分析了基于路由器的弃尾（Droptail）和随机早期检测RED（Random Early De
卫星全球普查任务是指利用星载遥感设备,周期性地对全球表面进行覆盖监测和数据采集.论文针对卫星全球普查任务需求的特点和卫星资源能力,建立了卫星全球普查任务调度系统.卫
论文介绍了无线移动网络中的各种可能的入侵手段，分析了在无线移动环境下的入侵检测技术及实现思想．给出了一个无线移动网络入侵检测系统的基本概念框架，并对其中的各个模块进行
中国辞书学会中青年辞书工作者第七届研讨会于2013年6月21—22日在四川师范大学召开。本次会议由中国辞书学会秘书处主办，四川师范大学和四川辞书出版社承办，上海辞书出版社协
阐述了基于Matlab／Simulink的可编程接口芯片仿真系统的实现，包括总体的设计和建模，总体设计包括系统的结构框架和界面设计。结合Intel8251的“串行输出”实例介绍了仿真原理及