- 李晶;朱诚;
<正>~~
2011年05期 v.42;No.179 478页 [查看摘要][在线阅读][下载 47K] [下载次数：40 ] |[阅读次数：0 ] |[引用频次：0 ] - 黄继鹏;江建慧;
深入分析了可生存性的内涵,针对系统在失效环境下的动态行为,从基本服务和及时性两个角度出发,考虑失效及其失效损失,定量地评价系统的可生存性.所建立的模型采用安全性数据集进行了验证,结果表明提出的瞬态可生存性评估模型是有效的.
2011年05期 v.42;No.179 481-487页 [查看摘要][在线阅读][下载 163K] [下载次数：55 ] |[阅读次数：0 ] |[引用频次：1 ] - 徐拾义;张鼎;
在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.
2011年05期 v.42;No.179 488-497页 [查看摘要][在线阅读][下载 232K] [下载次数：67 ] |[阅读次数：0 ] |[引用频次：1 ] - 程俊;李征;赵瑞莲;
扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.
2011年05期 v.42;No.179 498-504页 [查看摘要][在线阅读][下载 203K] [下载次数：154 ] |[阅读次数：0 ] |[引用频次：16 ] - 于秀山;于长钺;
程序设计是软件生命周期中一个重要阶段,程序设计缺陷将引发各种软件问题.根据软件测试中出现的与程序设计有关的缺陷,归纳整理了程序设计方面存在的编码风格、变量初始化、内存管理等缺陷,并通过实例对部分缺陷进行了分析,给出了修改方法.
2011年05期 v.42;No.179 505-510页 [查看摘要][在线阅读][下载 112K] [下载次数：81 ] |[阅读次数：0 ] |[引用频次：5 ] - 涂亚明;李柱;边计年;
对遗传算法的种群规模、选择策略、迭代策略等环节进行了研究,设计实现了一种实用的基于遗传算法的组合测试用例生成算法,具有用例生成速度快、用例集最小化的特点.
2011年05期 v.42;No.179 511-514页 [查看摘要][在线阅读][下载 99K] [下载次数：149 ] |[阅读次数：0 ] |[引用频次：3 ] - 甘红星;金大海;宫云战;
在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析.此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障.
2011年05期 v.42;No.179 515-520页 [查看摘要][在线阅读][下载 140K] [下载次数：189 ] |[阅读次数：0 ] |[引用频次：10 ] - 余祥;李强;齐建业;
软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG.
2011年05期 v.42;No.179 521-527页 [查看摘要][在线阅读][下载 180K] [下载次数：140 ] |[阅读次数：0 ] |[引用频次：6 ] - 郭亚杰;李华;岳婧媛;
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效.
2011年05期 v.42;No.179 528-532页 [查看摘要][在线阅读][下载 106K] [下载次数：79 ] |[阅读次数：0 ] |[引用频次：3 ] - 王微;刘咏梅;
由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.
2011年05期 v.42;No.179 533-539页 [查看摘要][在线阅读][下载 181K] [下载次数：113 ] |[阅读次数：0 ] |[引用频次：2 ] - 赖思佳;王雅文;宫云战;
在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.
2011年05期 v.42;No.179 540-546页 [查看摘要][在线阅读][下载 195K] [下载次数：264 ] |[阅读次数：0 ] |[引用频次：6 ] - 王蕾;朴希望;李世群;陈蕾;
时间性能是嵌入式实时操作系统一个非常重要的参数,而任务切换时间和中断响应时间则是其中的关键因素.为了评估嵌入式实时操作系统的时间性能,设计了结合硬件的测试方法,采用示波器对其时间性能进行测量.针对汽车电子产业的嵌入式硬实时操作系统Reworks的实测结果表明,该方法是可行的.
2011年05期 v.42;No.179 547-551页 [查看摘要][在线阅读][下载 120K] [下载次数：279 ] |[阅读次数：0 ] |[引用频次：9 ] - 刘佳翔;江建慧;靳昂;楼俊钢;
对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.
2011年05期 v.42;No.179 552-559页 [查看摘要][在线阅读][下载 144K] [下载次数：136 ] |[阅读次数：0 ] |[引用频次：4 ] - 万琳;廖飞雄;张威;
测试驱动器是自动化测试系统重要组成部分,对自动化测试的效率有重要影响.对远程控制相关技术进行了研究,并针对被测试对象间相对独立的组件可并发地进行测试的特点,设计实现了一种基于远程控制的测试驱动器,应用于局域网中进行功能测试.实验结果表明,该测试驱动器能有效提高测试用例的执行效率.
2011年05期 v.42;No.179 560-564页 [查看摘要][在线阅读][下载 143K] [下载次数：41 ] |[阅读次数：0 ] |[引用频次：2 ] - 胡亦;盛鸿宇;
介绍了一种二维的热疗温度控制模糊系统,详细介绍了该系统的模糊控制算法及模糊控制规则的建立及其在FPGA上的实现方法.模糊控制比传统控制更能有效地提高恒温控制精度,满足治疗的临床要求.
2011年05期 v.42;No.179 565-569页 [查看摘要][在线阅读][下载 138K] [下载次数：179 ] |[阅读次数：0 ] |[引用频次：5 ] - 岳婧媛;李华;郭亚杰;贺楠;庞滨;
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
2011年05期 v.42;No.179 570-575页 [查看摘要][在线阅读][下载 170K] [下载次数：55 ] |[阅读次数：0 ] |[引用频次：1 ] - 于京;吕殿基;
介绍了单总线数字温度传感器DS18B20的特性及工作原理,给出了由DS18B20与FP-GA组成的测温系统的硬件电路和软件设计及提高测量精度的方法.通过对实际温度的测量及与专用测温仪的比较,发现该系统具有数据准确、接口简单、精度高、抗干扰能力强、工作稳定可靠等特点.
2011年05期 v.42;No.179 576-580页 [查看摘要][在线阅读][下载 186K] [下载次数：236 ] |[阅读次数：0 ] |[引用频次：3 ] - 史玉丽;郭改枝;马森;
介绍了一种以STC89C52RC为主控芯片的嵌入式系统设备接入Internet的技术,阐述了网络接口芯片RTL8019AS的内部结构及特性原理,并且根据RTL8019AS的特性和原理设计了以太网通信的硬件电路和相应的软件编程,实现了网络协议栈的内嵌和网络接口卡驱动等功能.经实验验证,该系统能够通过网络接口与远程机进行数据传输,并取得预期的效果.
2011年05期 v.42;No.179 581-585页 [查看摘要][在线阅读][下载 185K] [下载次数：174 ] |[阅读次数：0 ] |[引用频次：6 ] - 侯丽敏;王文莉;
随着网络技术和相关学科的发展,入侵检测技术日趋成熟.对SOM算法和K-Means算法进行了具体的分析,提出了一种基于SOM和K-Means的使两类算法优点相结合并克服各自不足的聚类算法,提高了聚类信息的精确度、对攻击的识别率和系统的整体性能.
2011年05期 v.42;No.179 586-590页 [查看摘要][在线阅读][下载 117K] [下载次数：421 ] |[阅读次数：0 ] |[引用频次：13 ] - 洪有芬;刘龙;李华;
目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
2011年05期 v.42;No.179 591-595页 [查看摘要][在线阅读][下载 173K] [下载次数：55 ] |[阅读次数：0 ] |[引用频次：0 ] - 高珊;李华;郭亚杰;
在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.
2011年05期 v.42;No.179 596-600页 [查看摘要][在线阅读][下载 126K] [下载次数：87 ] |[阅读次数：0 ] |[引用频次：1 ] - 朱诚;
<正>~~
2011年05期 v.42;No.179 601页 [查看摘要][在线阅读][下载 52K] [下载次数：90 ] |[阅读次数：0 ] |[引用频次：0 ] 下载本期数据