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

基于块的测试充分性度量准则及其测试复杂性度量被引量：1: 1; 作者马雪英陈卫东 +1 位作者杨建军叶澄清《计算机科学》 CSCD 北大核心 2002年第5期141-143,共3页; 1 引言近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破... 展开更多; 关键词软件测试软件质量程序设计语言软件开发测试充分性度量准则测试复杂性度量计算机块; 在线阅读下载PDF 职称材料

降低软件变异测试复杂性的新方法被引量：3: 2; 作者徐拾义《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第5期524-531,共8页; 基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂... 展开更多; 关键词软件测试测试复杂性故障控制故障等价变异测试; 在线阅读下载PDF 职称材料

上下文无关文法测试充分性被引量：2: 3; 作者李虎金茂忠 +1 位作者高仲仪刘超《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期869-872,共4页; 讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这... 展开更多; 关键词上下文无关文法文法测试测试充分性准则测试复杂性; 在线阅读下载PDF 职称材料

软件的易测试性分析方法述评被引量：3: 4; 作者刘菲菲单锦辉姜瑛《计算机科学》 CSCD 北大核心 2005年第4期212-215,共4页; 软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作... 展开更多; 关键词测试性述评测试复杂性复杂度分析 UML类图组成部分工程领域软件测试软件规模测试工作量化指标软件度量基本类型技术分析分析比较研究方向信息论归并; 在线阅读下载PDF 职称材料

基于测试用例的软件可靠性分析被引量：2: 5; 作者李宝林李志蜀 +1 位作者陈良银倪建成《计算机应用》 CSCD 北大核心 2007年第5期1254-1256,1270,共4页; 软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂... 展开更多; 关键词测试准则 EM算法测试用例复杂性软件可靠性模型; 在线阅读下载PDF 职称材料

基于EM算法的软件可靠性研究: 6; 作者李宝林李志蜀 +2 位作者李继玲于凡金虎《计算机应用研究》 CSCD 北大核心 2008年第1期148-150,160,共4页; 结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实... 展开更多; 关键词测试准则期望最大化算法测试用例复杂性软件可靠性模型; 在线阅读下载PDF 职称材料

吉时利推出扩展3700系列开关／万用表新型插卡: 7; 《电子测量技术》 2008年第8期196-196,共1页; （美国俄亥俄州克里夫兰，2008年7月22日讯）美国吉时利（Keithley）仪器公司（NYSE代码：KEI），日前发布了两款新型插卡：3724型双1X30固态FET继电器多路转换卡和3750型多功能I/O卡，从而扩展了其3700系列开关／万用表和插卡产品系列... 展开更多; 关键词万用表吉时利插卡开关测试复杂性俄亥俄州仪器公司 I/O卡; 在线阅读下载PDF 职称材料

题名基于块的测试充分性度量准则及其测试复杂性度量被引量：1: 1; 作者马雪英陈卫东杨建军叶澄清; 机构浙江财经学院信息管理系浙江大学计算机科学系; 出处《计算机科学》 CSCD 北大核心 2002年第5期141-143,共3页; 基金国家自然科学基金(项目编号60073027); 文摘 1 引言近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏.所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度.以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段.; 关键词软件测试软件质量程序设计语言软件开发测试充分性度量准则测试复杂性度量计算机块; Keywords Computer-aided software testing tool. Block, Test data adequacy measurement criteria, Test complexity metric. Kiviat diagram; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名降低软件变异测试复杂性的新方法被引量：3: 2; 作者徐拾义; 机构上海大学计算机工程与科学学院上海; 出处《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第5期524-531,共8页; 基金国家自然科学基金资助项目(6047303360173029); 文摘基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.; 关键词软件测试测试复杂性故障控制故障等价变异测试; Keywords software testing test complexity fault dominance fault equivalence; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名上下文无关文法测试充分性被引量：2: 3; 作者李虎金茂忠高仲仪刘超; 机构北京航空航天大学计算机学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期869-872,共4页; 文摘讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 .; 关键词上下文无关文法文法测试测试充分性准则测试复杂性; Keywords context free grammar grammar testing test adequacy criterion test complexity; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构] TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件的易测试性分析方法述评被引量：3: 4; 作者刘菲菲单锦辉姜瑛; 机构北京大学软件研究所; 出处《计算机科学》 CSCD 北大核心 2005年第4期212-215,共4页; 基金国家"八六三"高技术研究发展计划项目(2001AA113070) 国家自然科学基金(编号:60373003) +1 种基金中国博士后科学基金(编号:2003034077); 文摘软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。; 关键词测试性述评测试复杂性复杂度分析 UML类图组成部分工程领域软件测试软件规模测试工作量化指标软件度量基本类型技术分析分析比较研究方向信息论归并; Keywords Software testability Software complexity metric Information transfer graph PIE technology; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构] TJ06 [兵器科学与技术—兵器发射理论与技术]; 在线阅读下载PDF 职称材料

题名基于测试用例的软件可靠性分析被引量：2: 5; 作者李宝林李志蜀陈良银倪建成; 机构四川大学计算机学院; 出处《计算机应用》 CSCD 北大核心 2007年第5期1254-1256,1270,共4页; 基金四川省科技厅重点项目(05GG021-003-2); 文摘软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂性、缺陷后果严重性和信息不足等因素等原因,根据矩阵和数理统计的知识得出相关的可靠性模型,并使用EM算法对该模型的置信下限做出了相应的理论证明。实验表明,该模型在实用性和可靠性方面都取得了较大的进展。; 关键词测试准则 EM算法测试用例复杂性软件可靠性模型; Keywords testing criterion expectation maximization the complexity of test cases a software reliability growth model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于EM算法的软件可靠性研究: 6; 作者李宝林李志蜀李继玲于凡金虎; 机构四川大学计算机学院西北政法大学西安建筑科技大学; 出处《计算机应用研究》 CSCD 北大核心 2008年第1期148-150,160,共4页; 基金四川省科技厅重点项目(05GG021-003-2); 文摘结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。; 关键词测试准则期望最大化算法测试用例复杂性软件可靠性模型; Keywords testing criterion expectation maximization algorithm complexity of test cases software reliability growth models; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名吉时利推出扩展3700系列开关／万用表新型插卡: 7; 机构吉时利仪器公司; 出处《电子测量技术》 2008年第8期196-196,共1页; 文摘（美国俄亥俄州克里夫兰，2008年7月22日讯）美国吉时利（Keithley）仪器公司（NYSE代码：KEI），日前发布了两款新型插卡：3724型双1X30固态FET继电器多路转换卡和3750型多功能I/O卡，从而扩展了其3700系列开关／万用表和插卡产品系列。新推出的这些插卡帮助测试工程师进一步扩宽了对各种开关配置结构的支持，以满足测试复杂性日益增加的需求。要想进一步了解有关3724和3750插卡的洋情，; 关键词万用表吉时利插卡开关测试复杂性俄亥俄州仪器公司 I/O卡; 分类号 TP334.7 [自动化与计算机技术—计算机系统结构] TM938.12 [电气工程—电力电子与电力传动]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于块的测试充分性度量准则及其测试复杂性度量	马雪英陈卫东杨建军叶澄清	《计算机科学》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
2	降低软件变异测试复杂性的新方法	徐拾义	《上海大学学报（自然科学版）》 CAS CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
3	上下文无关文法测试充分性	李虎金茂忠高仲仪刘超	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
4	软件的易测试性分析方法述评	刘菲菲单锦辉姜瑛	《计算机科学》 CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料
5	基于测试用例的软件可靠性分析	李宝林李志蜀陈良银倪建成	《计算机应用》 CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
6	基于EM算法的软件可靠性研究	李宝林李志蜀李继玲于凡金虎	《计算机应用研究》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
7	吉时利推出扩展3700系列开关／万用表新型插卡		《电子测量技术》	2008	0	在线阅读下载PDF 职称材料