基于Z规格说明的软件测试用例自动生成

来源 :计算机学报 | 被引量 : 0次 | 上传用户:q251208414
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换,线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成测试用例.同时还介绍了基于Z规格说明的软件测试用例自动生成方法的实现,并通过一个实例进一步加以说明.
其他文献
下文根据工程的地质、周边环境等特点.介绍了预应力管桩和钢结构支撑及加强被动区等复合支护方案在工程中的应用,达到了施工周期短、投资少和保证基坑及周边建筑安全的目的,
目的 探讨发展性教学评价在护理教学中应用的新途径.方法 以发展性教学评价理论为依据,设计临床护理教学,并将其应用于我校07级临床护理课教学中.结果 07级学生成绩与06级学
2006年4月至2008年10月应用体外冲击波碎石(ESWL)治疗儿童肾结石27例,其中右肾结石11例,左肾结石16例;结石大小5mm×6 mm~17 mm×22 mm,平均9 mm×11 mm.22例肾结石经1次ESWL
本文结合汉正街市场从古到今的发展阶段,以及电了商务在汉正街开始萌芽到目前发展到初级阶段的过程,分别从传统与现代电子商务工具、不同类型电子商务网站以及不同行业的差异
简要介绍MMDS系统的特点及优势,分析其在我国发展受限的原因,并展望其发展前景。 This paper briefly introduces the characteristics and advantages of MMDS system, ana
目的 利用数字化技术获取健康成人正常胫骨近端截而及假体的参数参考值,探讨适合不同人种且具有性别差异的胫骨假体设计.方法 对55名志愿者中的92侧正常膝关节(男42侧,女50侧
以 2 2 0 k V新塘变电站为实例 ,分别从保护、当地监控、远动主站、工程师站及录波系统、网络构架、系统性能 6个方面介绍了改进的 CSC2 0 0 0综合自动化系统 ,进一步强调了综合自动化系统中设备按照间隔分布、保护功能相对独立的设计思想 ,以及该系统模块化的网络结构和网络通信特点
用电位阶跃方法研究了氯化钾镀锌溶液中不同添加剂(OP-10,苄基苯基酮,NNO和CH-1光亮剂)存在时锌在玻碳电极上的电结晶行为;同时针对传统求解电结晶动力学参数方法的不足,设计
介绍了长城汽车珠光黑底色漆的喷涂工艺改善过程,同时也对由原来旋杯加喷枪两遍喷涂改为只用旋杯一遍喷涂的思路、试验、工艺调试和实施过程中问题的解决以及最终达到的效果
文中首先对模糊系统的两类主要的学习算法:梯度下降和遗传算法方法进行了深入分析,并指出了存在的问题.然后,在此基础上提出了一种针对半梯形和三角形隶属度函数的保证隶属度函数