论文部分内容阅读
为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于非线性约束求解是一个理论上困难的问题.文中将面向路径的测试数据自动生成方法分为四类--随机法、静态法、动态法和试探法,分析和比较了每一类中有代表性的方法,并探讨了研究方向.
面向路径的测试数据自动生成方法述评
【摘 要】
：
为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于非线性约束求解是一个理论上困难的问题.文
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
电子学报
【发表日期】
：
2004年1期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金
其他文献
激光编码主要用于包装的生产日期、产品批号的打印，防伪并非是其首要功能。由于激光编码机造价昂贵，只能在大批量生产或其他印刷方法不能实现的场合使用。使它能在防伪包装方面
长春光机所成功研制出生产冠脉支架的激光精密雕刻设备。该设备属国内首创，其性能和主要技术指标均达到国际先进水平。
雷达-目标径向加速度是表征雷达和目标相对运动关系重要特征,可用于机动目标跟踪、目标识别等,因此研究直接从雷达回波估计径向加速度很有必要.本文给出了基于Wigner-Hough变
仓敷激光、东洋电机及三菱商事3家公司日前宣布．将在上海市松江区合资设立板金加工公司一仓敷菱东金属制品制造（上海）有限公司，并从2006年6月中旬开始投产。新公司的注册资金为25
情感不仅是指学习热情、学习动机、兴趣，更是指学生丰富的内心体验和心灵世界。在课堂上启发学生对学习的热情，调动起学生学习的积极性，教学中让学生始终以饱满的激情和积极的情
森林脑炎病毒所致的森林脑炎是一种致残率、病死率极高的急性传染病。本文对森林脑炎病毒的分子生物学特征、繁殖、致病机制及多年来森林脑炎病毒致器官损害的临床研究进展作
电磁问题中有很大一类是研究天线和散射理论,即由封闭电路系统向空间开放系统的能量转换.本文给出了激励源和加载网络统一的普遍电路模型;并具体给出了广义矩阵型Ohm's定
依据新课程理念，语文不仅是一门单纯的教授文字章法的学科，语文世界的内涵是丰富多彩的，有语言文字的训练，有语文学习习惯的培养，有人文情怀的陶冶，有精神世界的奠基等。它所关注的