基于正交试验设计的软件操作剖面构造方法

为了解决传统的操作数量控制方法中出现的问题,提出一种基于正交试验设计的软件操作剖面构造方法.该方法首先确定操作额定值,接着建立一个粗略的操作剖面,然后在一些粗略操作对应的多属性区域内通过比较发生概率和正交试验设计等方法选取新的操作,最后整理操作及发生概率,得到最终的操作剖面.应用该方法能够开发出满足要求的操作剖面,并分析指出了该方法的优越性.     

UML技术在软件可靠性测试中的应用

软件操作剖面的建立是进行软件可靠性测试的基础.介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程.     

面向方面测试技术的研究

面向方面编程运用方面模块化横切关注点,构建出易于理解、易于扩展以及高质量的软件.然而,软件测试是软件质量保证的关键因素,那么开发有效的测试方法来检验AOP的正确性就显得十分重要.本文简述了面向方面编程的基本概念,详细介绍了四种AOP测试方法,并根据检验错误类型的能力对比了其中部分方法的性能,分析了AOP测试方法的研究现状、面临的技术问题以及未来的研究工作,最后总结了开发AOP测试技术和工具的重要性.     

基于组件的软件系统可靠性评估的不确定性研究

当前一些基于体系结构的软件可靠性模型,在操作剖面和组件可靠性中,不管这些模型是否准确,只要有相当多的不确定性存在,在计算软件可靠性时,就会存在较多的不确定性.若采用传统方法估算软件的可靠性,忽略了属于参数不确定性存在的差异,那么结果可能不准确.提出了一种新的基于体系结构的不确定性的分析方法,该方法适合大型复杂的基于组件的应用程序及整个软件生命周期.     

基于谓词动态切片技术的AOP测试用例生成方法研究

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.     

基于AOP的异常处理框架

传统的异常处理代码存在许多问题,尤其是代码不具有模块性,异常代码的维护很困难.面向方面编程(AOP)是一种新的编程技术,它弥补了面向对象编程(OOP)在跨越模块行为上的不足.利用AOP能够很好地分离出"异常处理"这一横切关注点,模块化构建松散耦合的系统.文章研究了在异常处理方面的通用策略和AOP在异常处理方面的应用,并给出了基于JBoss AOP的具体实现.该框架简单灵活,实用.     

软件可靠性评估的重要抽样方法

基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度.     

基于窄带的自适应Level Set方法

Level Set模型将运动界面表示为高维场函数的零等值面,自然而鲁棒地解决了界面演化中拓扑结构改变的问题,但计算效率不高.文中提出了基于窄带的自适应Level Set方法.自适应方法首先构建粗网格满足界面演化的整体需求,同时估算粗网格点的曲率值,使用快速扩散法聚类高曲率点,通过主元分析估算点集朝向,构建细网格捕捉演化中的细节区域.粗、细网格均为独立的计算单元,定义为存储网格中的有向包围盒.这种数据结构可以有效避免频繁的坐标变换和插值操作,同时保证了数值解的精度.实验结果与误差分析表明,自适应方法能有效减少计算量,达到更好的界面跟踪效果.     

用于支持契约的AOP代码生成器的研究与实现

面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。     

基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试.传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法.提出的方法经过实验验证表明是可行的.