检索结果-南通市图书馆

一种基于数据流分析的程序定义域自动确定方法

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2001年第8期13卷 762-768页

作者：赵瑞莲闵应骅中国科学院计算技术研究所网络研究室北京100080

程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .... 详细信息

程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .通过对源程序进行数据流分析和相关性分析 ,求取输入变量的定义域 ;采用程序抽取技术 ,将与输入变量无关的语句和函数剔除 ,简化了源程序 ,提高了分析效率 ;采用动态模拟技术 ,实现了特殊情形下输入变量定义域的确定 .实验证明 ,该方法是行之有效的 .

关键词：数据流分析程序抽取自动确定程序定义域软件工程软件测试

在线全文

学校读者我要写书评

暂无评论

一种二叉树结构型测试数据自动生成方法

计算机辅助设计与图形学学报 2012年第6期24卷 734-740页

作者：王倩尤枫赵瑞莲北京化工大学计算机科学系北京100029

目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法... 详细信息

目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法生成二叉树形态,同时利用约束求解确定其数据域的值.实验结果表明,该方法是行之有效的,其测试生成效果明显优于随机生成方法.

关键词：测试数据生成二叉树结构二叉树形态生成遗传算法

在线全文

学校读者我要写书评

暂无评论

一种有效的边界测试点选取策略

计算机辅助设计与图形学学报 2007年第2期19卷 251-256页

作者：赵瑞莲董红霞北京化工大学计算机科学系北京100029

借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行... 详细信息

借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行了测试.实验结果表明:该方法是一种有效的边界测试点选取策略,可以克服测试的盲目性,降低测试成本,明显地提高故障覆盖程度.

关键词：边界测试点测试数据生成 RSDIMU 变异体

在线全文

学校读者我要写书评

暂无评论

医源性早产安全分娩方式的探讨

中华医学杂志 2012年第15期92卷 1052-1053页

作者：赵瑞莲山东省枣庄市妇幼保健院妇产科 277100

目的探讨医源性早产较为安全的分娩方式。方法分析山东枣庄市妇幼保健院妇产科2007年2月至2011年1月的185例医源性早产儿的结局，根据分娩方式不同，将产妇（孕30＋1-36^＋6周，年龄19—42岁，平均30．2岁）分为两组：剖宫产组（116例... 详细信息

目的探讨医源性早产较为安全的分娩方式。方法分析山东枣庄市妇幼保健院妇产科2007年2月至2011年1月的185例医源性早产儿的结局，根据分娩方式不同，将产妇（孕30＋1-36^＋6周，年龄19—42岁，平均30．2岁）分为两组：剖宫产组（116例）和阴道分娩组（61例），两组孕妇在孕周、年龄等方面差异无统计学意义。比较不同分娩方式对早产儿的影响。结果剖宫产组早产儿并发症为34．1％（42／123），阴道分娩组为51．6％（32／62），两组比较差异有统计学意义（P〈0．05）。死亡率两组分别为9．7％（12／123）和21．0％（13／62），差异有统计学意义（P〈0．05），尤其是重度窒息和颅内出血并发症。结论在不可避免的医源性早产中，剖宫产终止妊娠能明显降低早产儿的并发症和死亡率。

关键词：婴儿,早产分娩预后

基于遗传算法的面向多样性EFSM测试序列生成方法

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2017年第A01期47卷 176-182页

作者：宋雨琪尚颖赵瑞莲北京化工大学信息科学与技术学院北京100029

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试... 详细信息

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.

关键词：可扩展有限状态机多样性遗传算法测试序列集生成

在线全文

学校读者我要写书评

暂无评论

一种基于规范和程序域分析的软件测试方法

计算机研究与发展 2003年第6期40卷 846-855页

作者：赵瑞莲闵应骅北京化工大学信息科学与技术学院北京100029 中国科学院计算技术研究所北京100080

虽然软件规范规定了输入变量的定义域 (功能域 ) ,但程序实现本身也定义了其定义域 (运行域 ) 如果二者不能完全重合 ,那么某些软件故障就可检测出来为此 ,提出了一种基于规范和程序域分析的软件测试方法 ,介绍了一个运行域自动确定系... 详细信息

虽然软件规范规定了输入变量的定义域 (功能域 ) ,但程序实现本身也定义了其定义域 (运行域 ) 如果二者不能完全重合 ,那么某些软件故障就可检测出来为此 ,提出了一种基于规范和程序域分析的软件测试方法 ,介绍了一个运行域自动确定系统ADSOD ,并讨论了边界测试数据的选取原则对特殊表达式 ,采用程序切片技术 ,构造基于表达式的可执行模块 ,通过执行该模块 ,识别其输入变量的奇异值 ,进而确定其输入变量的取值范围通过分析功能域和运行域的边界测试数据集 ,检测二者的重合性 ,并根据其分析结果产生测试用例实验表明 :所提方法产生的测试用例。

关键词：软件测试域分析边界测试数据集功能域运行域

在线全文

学校读者我要写书评

暂无评论

基于调用图的类间MM路径自动生成方法研究

计算机研究与发展 2013年第2期50卷 332-343页

作者：何伟赵瑞莲朱群雄北京化工大学计算机科学与技术系北京100029

在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提... 详细信息

在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提出了一种基于调用图的面向对象软件类间MM路径自动生成方法,并通过大量实验,研究了采用类层次分析和安德森指向分析这2种典型调用图构建算法对生成MM路径的数量和时间花费的影响,进而分析了面向MM路径生成的测试用例集对被测程序的结构测试覆盖效果.实验结果表明:基于调用图的类间MM路径自动生成方法是确实可行的;采用安德森指向分析较类层次分析生成类间MM路径的数量平均增加13.11%,时间消耗却平均减少27.78%;此外,针对安德森指向分析生成的类间MM路径进行面向路径的测试用例自动生成,其生成的测试用例集对被测程序获得的结构覆盖率比采用类层次分析平均提高2%～7%.因此,对于基于调用图的面向对象软件类间集成测试路径生成,基于安德森指向分析较类层次分析生成类间MM路径的效率更高.

关键词： MM路径调用图类层次分析安德森指向分析面向对象软件的集成测试面向路径的测试用例自动生成

在线全文

学校读者我要写书评

暂无评论

基于谓词切片的字符串测试数据自动生成

计算机研究与发展 2002年第4期39卷 473-481页

作者：赵瑞莲闵应骅北京化工大学信息科学与技术学院北京100029 中国科学院计算技术研究所北京100080

字符串谓词使用相当普遍．如何实现字符串测试数据的自动生成是一个有待解决的问题．针对字符串谓词，讨论了路径Ｐ＼－ａｔｈ上给定谓词的谓词切片的动态生成算法，以及基于谓词切片的字符串测试数据自动生成方法，并给出了字符串间距... 详细信息

字符串谓词使用相当普遍．如何实现字符串测试数据的自动生成是一个有待解决的问题．针对字符串谓词，讨论了路径Ｐ＼－ａｔｈ上给定谓词的谓词切片的动态生成算法，以及基于谓词切片的字符串测试数据自动生成方法，并给出了字符串间距离的定义．利用程序ＤＵＣ（Ｄｅｆｉｎｉｔｉｏｎ＿Ｕｓｅ＿Ｃｏｎｔｒｏｌ）表达式，构造谓词的谓词切片；对任意的输入，通过执行谓词切片，获取谓词中变量的当前值；进而对谓词中变量的每一字符进行分支函数极小化，动态生成给定字符串谓词边界的ＯＮ－ＯＦＦ测试点．实验表明：该方法是行之有效的．

关键词：谓词切片字符串测试数据自动生成动态生成算法软件测试软件开发

在线全文

学校读者我要写书评

暂无评论

基于输出域的测试用例自动生成方法研究

计算机研究与发展 2016年第3期53卷 541-549页

作者：尤枫赵瑞莲吕珊珊北京化工大学计算机科学系北京100029

对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首... 详细信息

对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率.

关键词： BP神经网络软件功能模型测试用例生成输出域遗传算法