检索结果-维普期刊中文期刊服务平台

Object-Z规格说明测试用例的自动生成器被引量：5: 1; 作者许庆国缪淮扣 +1 位作者曹晓夏胡晓波《软件学报》 EI CSCD 北大核心 2011年第6期1155-1168,共14页; 对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造... 展开更多; 关键词基于规格说明的测试 OBJECT-Z 语义提取测试用例生成器; 在线阅读下载PDF 职称材料

布尔规格说明测试中的错误类: 2; 作者朱海燕《计算机工程与应用》 CSCD 北大核心 2009年第18期72-73,共2页; 在基于规格说明的测试中错误类型之间的关系不仅可以解释一些测试方法的实验结果,而且还可设计出更加有效的测试用例。讨论了几种常见错误类型之间的层次关系,扩充了已知的一些结果。; 关键词软件测试测试用例错误类型基于规格说明的测试; 在线阅读下载PDF 职称材料

基于UML Statecharts的测试用例生成被引量：8: 3; 作者缪淮扣占学德刘玲《小型微型计算机系统》 CSCD 北大核心 2005年第4期662-666,共5页; 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测... 展开更多; 关键词 UML STATECHARTS FREE模型基于规格说明的测试; 在线阅读下载PDF 职称材料

对逻辑覆盖软件测试准则的公理化评估被引量：9: 4; 作者刘玲缪淮扣《软件学报》 EI CSCD 北大核心 2004年第9期1301-1310,共10页; 由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选... 展开更多; 关键词基于规格说明的测试逻辑覆盖测试准则公理化评估测试充分性准则; 在线阅读下载PDF 职称材料

基于UML Statecharts面向对象软件的测试框架: 5; 作者占学德缪淮扣《应用科学学报》 CAS CSCD 北大核心 2006年第5期491-497,共7页; 直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文... 展开更多; 关键词 Z UML STATECHARTS FREE模型基于规格说明的测试测试框架; 在线阅读下载PDF 职称材料

题名Object-Z规格说明测试用例的自动生成器被引量：5: 1; 作者许庆国缪淮扣曹晓夏胡晓波; 机构上海大学计算机工程与科学学院武汉大学软件工程国家重点实验室上海第二工业大学计算机与信息学院; 出处《软件学报》 EI CSCD 北大核心 2011年第6期1155-1168,共14页; 基金国家自然科学基金(60970007 61073050) +4 种基金武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26); 文摘对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.; 关键词基于规格说明的测试 OBJECT-Z 语义提取测试用例生成器; Keywords specification-based testing； Object-Z； semantics extraction； test case generator；; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名布尔规格说明测试中的错误类: 2; 作者朱海燕; 机构山东工商学院信息与电子工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第18期72-73,共2页; 文摘在基于规格说明的测试中错误类型之间的关系不仅可以解释一些测试方法的实验结果,而且还可设计出更加有效的测试用例。讨论了几种常见错误类型之间的层次关系,扩充了已知的一些结果。; 关键词软件测试测试用例错误类型基于规格说明的测试; Keywords software testing test case fault class specification-based testing; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UML Statecharts的测试用例生成被引量：8: 3; 作者缪淮扣占学德刘玲; 机构上海大学计算机学院; 出处《小型微型计算机系统》 CSCD 北大核心 2005年第4期662-666,共5页; 基金国家自然科学基金(60173030 60373072)资助 +1 种基金上海市第四期重点学科建设资助.; 文摘直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.; 关键词 UML STATECHARTS FREE模型基于规格说明的测试; Keywords UML statecharts FREE model specification-based software testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名对逻辑覆盖软件测试准则的公理化评估被引量：9: 4; 作者刘玲缪淮扣; 机构上海大学计算机工程与科学学院; 出处《软件学报》 EI CSCD 北大核心 2004年第9期1301-1310,共10页; 基金国家自然科学基金~~; 文摘由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.; 关键词基于规格说明的测试逻辑覆盖测试准则公理化评估测试充分性准则; Keywords Algorithms Formal logic Specifications Testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UML Statecharts面向对象软件的测试框架: 5; 作者占学德缪淮扣; 机构杭州电子科技大学财经学院上海大学计算机学院; 出处《应用科学学报》 CAS CSCD 北大核心 2006年第5期491-497,共7页; 基金国家自然科学基金(60373072) 国家"863"(2002CB312001)资助项目; 文摘直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.; 关键词 Z UML STATECHARTS FREE模型基于规格说明的测试测试框架; Keywords Z UML statecharts FREE model specification-based software testing test framework; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Object-Z规格说明测试用例的自动生成器	许庆国缪淮扣曹晓夏胡晓波	《软件学报》 EI CSCD 北大核心	2011	5	在线阅读下载PDF 职称材料
2	布尔规格说明测试中的错误类	朱海燕	《计算机工程与应用》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
3	基于UML Statecharts的测试用例生成	缪淮扣占学德刘玲	《小型微型计算机系统》 CSCD 北大核心	2005	8	在线阅读下载PDF 职称材料
4	对逻辑覆盖软件测试准则的公理化评估	刘玲缪淮扣	《软件学报》 EI CSCD 北大核心	2004	9	在线阅读下载PDF 职称材料
5	基于UML Statecharts面向对象软件的测试框架	占学德缪淮扣	《应用科学学报》 CAS CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料