基于XYZ／E规范的软件测试用例自动生成方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户：yxhetao

【摘要】

：

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法.该方法采用XYZ/E描述,首先

【作者】

：

虞凡覃征贾晓琳何坚

【机构】

：

西安交通大学电子与信息工程学院

【出处】

：

计算机工程

【发表日期】

：

2005年19期

【关键词】

：

测试用例生成软件规范 XYZ/E PROLOG 边界值测试 Test case generation Software specification XYZ

【基金项目】

：

国防预研基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法.该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值.最后,通过一个实例验证了该方法的可行性.与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量.

其他文献

纤维对沥青混凝土路用性能影响的探讨

通过将纤维加入沥青混凝土中制成马歇尔和车辙试件，进行一系列的试验，研究沥青混凝土掺纤维后的马歇尔稳定度、水稳定性、高温稳定性、低温抗裂性能，并与普通密级配沥青混凝土进

期刊

纤维沥青混凝土路用性能fiber asphalt concrete performance

静态并行任务调度模拟工具的设计与实现

介绍构建的一个包含12种静态并行任务调度算法的模拟器TSAS和一个可视化的任务图生成器VTGG,并给出以它们为工具得到的各种任务调度算法的性能数据.

期刊

任务调度任务图可视化的任务图生成器Task schedule Task graph VTGG

直流电路的无规行走分析法

介绍一种新的方法一电荷无规行走法分析直流电路＋给出该方法和常规方法等效的证明，并用此方法推导了惠斯通电桥非平衡时的桥路电流，以及Y型联接与△型联接的等效变换公式．

期刊