均等划分策略的适应性随机测试方法

作为典型的黑盒测试方法,随机测试(Random Testing,简称RT)具有简单高效、易于实现等优点。然而,由于产生测试用例的方式较为简单,它的失效检测能力往往不尽如人意。有学者通过对程序失效的特征进行分析,提出了适应性随机测试方法(Adaptive Random Testing,简称ART),通过实现测试用例在输入域的均匀分布,提高了算法的失效检测能力。但是,该算法存在一个明显缺陷,在每次从候选集中生成新的测试用例时,需要与之前已测用例进行大量地距离计算,因此它的测试效率较低。针对这一问题,本文提出了一种基于二分划分的适应性随机测试方法,对输入域空间进行迭代二分,直到测试用例发现失效区域。实验结果表明,该算法能够有效地实现测试用例在输入域上的均匀分布,提高程序的失效检测能力,并且能够提高算法的运行效率。     

一个基于安全模型的测试用例生成工具

在基于安全评估标准的安全数据库管理系统（Security Database Management System, SDBMS）的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——CaseBuilder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于Markov链使用模型的软件可靠性测试用例生成研究

本文针对软件可靠性测试中测试用例设计方法不足、难以生成等问题,对软件的需求分析和设计文档进行了研究,提出一个基于UML的扩展模型,通过构建不同等级的Markov链使用模型最终解决了可靠性测试用例生成的难题。可靠性测试用例的生成是软件可靠性工程的一个重要组成部分,它对于指导软件测试过程、提高软件可靠性有重要的意义。     

一种基于人工智能的GUI测试用例自动生成方法

GUI的复杂化致使与之相应的软件测试的复杂度不断增加。本文给出一种GUI测试用例自动生成方法GUITGS,该方法在给出被测GUI初始状态集,目标状态集以及界面基本操作元的基础上,对被测GUI的组成元进行层次化建模,并分别以系统操作序列和抽象操作序列的形式进行重新定义,最后采用一种在人工智能领域颇为成熟的技术AI planning,自动生成从初始状态到目标状态的操作序列及测试用例集。实践证明,GUITGS一方面优化了GUI测试用例的数量,另一方面,大大提高了测试用例生成的效率,具有较好的实践价值。     

基于多任务版本的实时系统调度算法

本文介绍了多任务版本的实时系统调度算法.该算法能够满足实时系统中的关键性任务在最坏情况下运行时,仍可满足截止时闻的要求.通过为实时系统中的关键性任务设置两个任务版本,即主态和从态版本.主态任务版本具有较好的质量,从态任务版本只提供最基本的功能,运行时间较短.在最坏情况下避免调度主态任务版本,来满足实时调度的实时性要求.     

基于遗传算法的软件测试用例生成系统模型

通过对遗传算法的研究，提出了一个用遗传算法生成测试用例的系统模型，并结合实例予以说明。     

基于模型驱动的测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要.笔者基于MDT的思路研究出了一种基于模型驱动的自动化测试架构.该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移,从而有效缩短了测试周期.     

单处理器偶发作业EDF算法与空闲挪用混合调度研究

实时系统不仅要求任务调度的正确性,还必须要求系统在任务调度时,无论是周期性任务,还是非周期任务或者偶发任务,尽最大可能保证系统响应的及时性。因此实时系统中的调度算法是决定系统实时性的重要指标。偶发作业具有强实时性,释放时间的不规律性,以及作业调度的不可预测性,针对偶发作业的这些特点,提出了一种利用空闲挪用与EDF算法相结合的混合调度策略,提高了处理器的响应时间以及偶发作业调度的可靠性。     

一种基于遗传算法的黑盒测试应用

本文提出了一种遗传算法.该算法能帮助测试人员在较短时间内完成软件模块的黑盒测试,并给出测试结果和好的测试用例.