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

基于Z规格说明的软件测试用例自动生成被引量：22: 1; 作者兰毓华毛法尧曹化工《计算机学报》 EI CSCD 北大核心 1999年第9期963-969,共7页; 提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换，线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成... 展开更多; 关键词 z规格说明区域测试软件测试软件开发; 在线阅读下载PDF 职称材料

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

基于Z规格说明的可复用测试用例形式化描述被引量：1: 3; 作者张娟童维勤蔡立志《计算机工程》 CAS CSCD 2012年第16期44-48,共5页; 可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概... 展开更多; 关键词测试用例库测试用例套测试项形式化描述 z规格说明软件测试; 在线阅读下载PDF 职称材料

Z规格说明的测试用例自动生成: 4; 作者朱彬缪淮扣王娜《应用科学学报》 CAS CSCD 北大核心 2006年第4期377-381,共5页; 软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票... 展开更多; 关键词范畴划分测试测试用例线性规划形式规格说明 z; 在线阅读下载PDF 职称材料

武器装备软件测试用例复用技术: 5; 作者邹诗苑张龙 +2 位作者丁小芩王丽娜刘佳《兵工自动化》北大核心 2025年第6期82-85,共4页; 为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效... 展开更多; 关键词测试用例复用武器装备软件 z语言; 在线阅读下载PDF 职称材料

一种基于Z规格说明的测试用例复用机制被引量：4: 6; 作者肖寒顾春华《计算机应用与软件》 CSCD 2009年第12期135-138,258,共5页; 测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格说明对用户需求进行描述,实例化后生成测试用例,然后对测试用例进行可复用描述,得到形式统一的可复用测试... 展开更多; 关键词测试用例测试复用刻面 z规格说明; 在线阅读下载PDF 职称材料

一种基于Object-Z规格说明的集成测试用例生成方法被引量：2: 7; 作者朱义毅缪淮扣唐新香《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期60-65,共6页; 形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z... 展开更多; 关键词规格说明集成测试 Object—z模型测试用例组件; 在线阅读下载PDF 职称材料

基于形式化描述可复用测试用例库的研究与实现被引量：2: 8; 作者张红燕杨根兴蔡立志《计算机应用与软件》 CSCD 2010年第7期43-46,共4页; 软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用... 展开更多; 关键词形式化语言 z规格软件测试可复用测试用例测试用例库; 在线阅读下载PDF 职称材料

题名基于Z规格说明的软件测试用例自动生成被引量：22: 1; 作者兰毓华毛法尧曹化工; 机构华中理工大学计算机学院; 出处《计算机学报》 EI CSCD 北大核心 1999年第9期963-969,共7页; 文摘提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换，线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例．同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实现，; 关键词 z规格说明区域测试软件测试软件开发; Keywords z specification, linear predicates, domain test, automated test case generation.; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Object-Z规格说明测试用例的自动生成器被引量：5: 2; 作者许庆国缪淮扣曹晓夏胡晓波; 机构上海大学计算机工程与科学学院武汉大学软件工程国家重点实验室上海第二工业大学计算机与信息学院; 出处《软件学报》 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 职称材料

题名基于Z规格说明的可复用测试用例形式化描述被引量：1: 3; 作者张娟童维勤蔡立志; 机构上海大学计算机工程与科学学院江西财经大学上海市计算机软件评测重点实验室; 出处《计算机工程》 CAS CSCD 2012年第16期44-48,共5页; 基金国家火炬计划基金资助项目(2009GH510068) 上海市科委科研计划基金资助项目(10DZ2291800); 文摘可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。; 关键词测试用例库测试用例套测试项形式化描述 z规格说明软件测试; Keywords test case library test case suite test item formalized description z specification software test; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Z规格说明的测试用例自动生成: 4; 作者朱彬缪淮扣王娜; 机构上海第二工业大学计算机与信息学院上海大学计算机工程与科学学院上海水产大学爱恩学院; 出处《应用科学学报》 CAS CSCD 北大核心 2006年第4期377-381,共5页; 基金国家自然科学基金资助项目(60373072); 文摘软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.; 关键词范畴划分测试测试用例线性规划形式规格说明 z; Keywords category-partition testing test case linear programming model formalized specification z; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名武器装备软件测试用例复用技术: 5; 作者邹诗苑张龙丁小芩王丽娜刘佳; 机构上海机电工程研究所; 出处《兵工自动化》北大核心 2025年第6期82-85,共4页; 文摘为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效性及测试用例的通用性、独立性、规范化和易修改性。通过测试用例的复用,结果表明:该研究能加快测试用例的设计进度,减少测试人员的负担,提高武器装备软件测试的效率和质量。; 关键词测试用例复用武器装备软件 z语言; Keywords test case reuse weapon equipment software z language; 分类号 TJ06 [兵器科学与技术—兵器发射理论与技术] TP311.55 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于Z规格说明的测试用例复用机制被引量：4: 6; 作者肖寒顾春华; 机构华东理工大学计算机科学与工程系; 出处《计算机应用与软件》 CSCD 2009年第12期135-138,258,共5页; 文摘测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格说明对用户需求进行描述,实例化后生成测试用例,然后对测试用例进行可复用描述,得到形式统一的可复用测试用例。建立测试用例库系统存储和管理用例,实现多种方式的复用。; 关键词测试用例测试复用刻面 z规格说明; Keywords test case test reuse facet z specification; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论] TN949.197 [电子电信—信号与信息处理]; 在线阅读下载PDF 职称材料

题名一种基于Object-Z规格说明的集成测试用例生成方法被引量：2: 7; 作者朱义毅缪淮扣唐新香; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期60-65,共6页; 基金国家自然科学基金资助项目(60673115) 国家重点基础研究发展计划(973计划)资助项目(2007CB310800) +1 种基金上海市教委基金资助项目(07ZZ06); 文摘形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.; 关键词规格说明集成测试 Object—z模型测试用例组件; Keywords specification integration testing Object-z model test case component; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于形式化描述可复用测试用例库的研究与实现被引量：2: 8; 作者张红燕杨根兴蔡立志; 机构华东理工大学计算机科学与工程系上海市计算机软件评测重点实验室; 出处《计算机应用与软件》 CSCD 2010年第7期43-46,共4页; 基金国家高技术研究发展计划资助(2007AA010401); 文摘软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。; 关键词形式化语言 z规格软件测试可复用测试用例测试用例库; Keywords Formalized language z specification Software test Reusable test case test case library; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Z规格说明的软件测试用例自动生成	兰毓华毛法尧曹化工	《计算机学报》 EI CSCD 北大核心	1999	22	在线阅读下载PDF 职称材料
2	Object-Z规格说明测试用例的自动生成器	许庆国缪淮扣曹晓夏胡晓波	《软件学报》 EI CSCD 北大核心	2011	5	在线阅读下载PDF 职称材料
3	基于Z规格说明的可复用测试用例形式化描述	张娟童维勤蔡立志	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
4	Z规格说明的测试用例自动生成	朱彬缪淮扣王娜	《应用科学学报》 CAS CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
5	武器装备软件测试用例复用技术	邹诗苑张龙丁小芩王丽娜刘佳	《兵工自动化》北大核心	2025	0	在线阅读下载PDF 职称材料
6	一种基于Z规格说明的测试用例复用机制	肖寒顾春华	《计算机应用与软件》 CSCD	2009	4	在线阅读下载PDF 职称材料
7	一种基于Object-Z规格说明的集成测试用例生成方法	朱义毅缪淮扣唐新香	《上海大学学报（自然科学版）》 CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
8	基于形式化描述可复用测试用例库的研究与实现	张红燕杨根兴蔡立志	《计算机应用与软件》 CSCD	2010	2	在线阅读下载PDF 职称材料