论文部分内容阅读
本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活序列.本模型依据类的实例变量的定义-使用对来产生方法激活序列,避免了传统的数据流方法的不足,产生的测试用例能够发现传统方法难于发现的对象方法间交互作用的错误.
一种类的测试用例生成方法
【摘 要】
：
本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活序列.本模型依据类的实例变量的定义-使用对
【机 构】
：
华中科技大学计算机科学与技术学院(武汉)
【出 处】
：
2002年全国开放式分布与并行计算学术会议
【发表日期】
：
2002年10期
其他文献
Network-based IC card Environment(NICE)是面向服务的,根据应用模式对多应用程序智能卡进行运行管理的平台.NICE平台,将卡的发行商及服务提供商等多个商家通过网络进行连接
木聚糖酶(1,4-β-D-xylanxylanohydrolase,EC.3.2.18)是一类木聚糖降解酶系,属于水解酶类,包括内切β-木聚糖酶、外切β-木聚糖酶和β-木二糖苷酶,除解木聚糖为木单糖或木寡
粉体分极按其工作原理可分为重力沉降式,重力-离心式,穿透式三种.按其作业可分为湿式分级和干式分级.本文对分级原理、分级设备、分级工艺作一简要介绍和评述.
本文中阐述了超细硅微粉用途、国内外研究现状,分析了国内外超细硅微粉所潜在的巨大市场.并对超细硅微粉的生产工艺、分选以及设备的选型分别作了阐述,在此基础上介绍了对高
在过去二十多年间,现代生物技术已形成了一个快速发展的产业.传统的生物技术,也可称为第一代生物技术,是基于醋酸、乙醇和乳酸发酵为基础,经过长期的发展而建立起来的.现代生
本文阐述了现代超微粉碎技术——超音速气流粉碎、分级系统的原理及优越性,以及在中药生产现代化中的应用,使得中药剂型的改革、中药资源的节约、中药走向世界成为可能性.
智能化和个性化是Internet的发展趋势,个性化的主动信息服务是解决"信息超载"和"资源迷向"问题、满足人们需求的有效途径.本文提出通过分析用户的收藏夹、访问历史记录,观察
着色Petri网有强大的系统动态行为的描述能力,又有直观的图形表示,能够有效描述公文流转过程中成员的交互过程、任务依赖问题.本文结合公文流转工作流的特点,介绍着色Petri网