论文部分内容阅读
从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种产生此测试数据的方法．同时也说明了如何使类的方法的划分分析自动进行。以厦如何建立起给定方击的粪的序列且该序列覆盖了所有必需的测试。
基于划分分析方法的测试用例生成
【摘 要】
：
从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种产生此测试数据的方法．同时也说明了如何使类
【机 构】
：
江西财经大学信息学院
【出 处】
：
现代计算机：下半月版
【发表日期】
：
2006年6期
其他文献
对安徽省淮河河道管理现代化的内涵进行阐述,参照、借鉴国内外水利工程管理现代化先进经验,构建安徽淮河河道管理现代化评价指标体系.通过现状分析和评估,找到存在的短板,对
对《中国文献编目规则(第二版)》与《资源描述与检索》(RDA)中译本及其最新测试版工具套件(Beta RDA Toolkit)中有关“多部分资源”的概念、关系描述、著录方式选择、信息源
郑州市作为河南省省会,是国家重要的综合交通枢纽、中原经济区核心城市。全面提升郑州市国际化水平,既是郑州国家中心城市建设的内在需求,也是认真落实习近平总书记考察河南
在高中物理学习过程中,电学知识是重点也是难点。要想学好高中物理,电学实验的学习是关键的一环。基于此,从电学实验难点形成的原因入手,分析其中存在的主要问题,并提出相应
由于上世纪80年代"儿童本位"观的回归和进入新世纪"童年文化"的巨大变革,我国儿童文学的原创生产与出版传播进入了跨越式发展阶段。在良性发展、多元共生的态势下,现实主义题
1953年我国制造了第一辆有完善的采暖、通风、照明、给水和卫生设备的21型全钢客车,这标志着我国具有了铁路车辆的制造能力.随着客运量的不断增长和加工制造技术水平的提高,1
<正> 1991年5月1日《中华人民共和国铁路法》(以下简称《铁路法》)颁布实施,铁路依《铁路法》的规定开办铁路保价运输业务,这对维护托运人、收货人、旅客及承运人的合法权益,
中國人移民外地的歷史悠久而且漂洋過海無處不到,所謂“有海水的地方就有華人”。華人移民異地先僑居,後發展為落地生根,與當地非華族主體共存共榮,漸次融入主流社會。他們把
<正> 电力机车体内有大量的强电设备,如变压器、交流器、电抗器、牵引电机及电气制动用的电阻装置等,因工作电流大,几乎都需要用强迫通风冷却方式,把产生的大量热量,通过空气