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

一种可变测试集的协议一致性测试方法被引量：7: 1; 作者吕欣岩赵保华屈玉贵《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2179-2182,共4页; 目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效... 展开更多; 关键词一致性测试固定测试集可变测试集测试树; 在线阅读下载PDF 职称材料

一种动态协议一致性测试方法被引量：6: 2; 作者吕欣岩赵保华周颢《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第3期398-404,共7页; 利用约束满足技术实现了一种新的动态协议一致性测试方法,解决了由于固定测试集的错误覆盖度、测试用例的相关性,以及实测结果的影响,导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题.; 关键词一致性测试动态测试错误定位; 在线阅读下载PDF 职称材料

基于形式规范的协议一致性测试的可靠性分析被引量：2: 3; 作者吕欣岩赵保华屈玉贵《电子与信息学报》 EI CSCD 北大核心 2007年第4期781-784,共4页; 可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在“零错误... 展开更多; 关键词一致性测试形式规范测试假设可靠性; 在线阅读下载PDF 职称材料

一种动态的协议一致性测试方法被引量：2: 4; 作者吕欣岩赵保华屈玉贵《小型微型计算机系统》 CSCD 北大核心 2004年第12期2095-2098,共4页; 目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率。; 关键词一致性测试动态测试固定测试集测试树; 在线阅读下载PDF 职称材料

题名一种可变测试集的协议一致性测试方法被引量：7: 1; 作者吕欣岩赵保华屈玉贵; 机构中国科学技术大学计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2179-2182,共4页; 基金国家自然科学基金 (No .90 1 0 4 0 1 0 No.60 2 4 1 0 0 4 ) +2 种基金中国科学院计算机科学重点实验室基础研究课题基金; 文摘目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率。; 关键词一致性测试固定测试集可变测试集测试树; Keywords the conformance testing fixed test suite alterable test suite testing tree; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种动态协议一致性测试方法被引量：6: 2; 作者吕欣岩赵保华周颢; 机构中国科学技术大学计算机系中国科学院计算机科学实验室; 出处《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第3期398-404,共7页; 基金国家自然科学基金(90104010和60241004) 国家973计划项目(2003CB314801).; 文摘利用约束满足技术实现了一种新的动态协议一致性测试方法,解决了由于固定测试集的错误覆盖度、测试用例的相关性,以及实测结果的影响,导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题.; 关键词一致性测试动态测试错误定位; Keywords the conformance testing dynamic testing fault location; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于形式规范的协议一致性测试的可靠性分析被引量：2: 3; 作者吕欣岩赵保华屈玉贵; 机构中国科学技术大学计算机系; 出处《电子与信息学报》 EI CSCD 北大核心 2007年第4期781-784,共4页; 基金国家自然科学基金重大研究计划项目(90104010) 国家自然科学基金(60241004) 国家973计划(2003CB314801)资助课题; 文摘可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在“零错误”下影响可靠性的条件。; 关键词一致性测试形式规范测试假设可靠性; Keywords Conformance test Formal specification Test hypotheses Reliability; 分类号 TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种动态的协议一致性测试方法被引量：2: 4; 作者吕欣岩赵保华屈玉贵; 机构中国科学技术大学计算机系; 出处《小型微型计算机系统》 CSCD 北大核心 2004年第12期2095-2098,共4页; 基金国家自然科学基金 ( 90 10 40 10 60 2 410 0 4)资助 +2 种基金中国科学院计算机科学重点实验室基础研究课题基金; 文摘目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率。; 关键词一致性测试动态测试固定测试集测试树; Keywords the conformance testing dynamic testing fixed test suite testing tree; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料