基于搜索状态控制的组合电路测试生成算法

EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态,通过引入状态等价的概念,缩小了测试码搜索空间．本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法．该方法应用E-前沿的控制关系可以减少搜索空间,大大减少了测试生成的时间．     

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

高速互连渐进式串扰故障激励测试模型研究

建立了高速互连系统几何结构的形式化描述,提出了串扰故障激励的主次因素原理、攻击生效原理和对称原理,深入研究了基于正交设计的主次因素分析及渐进式串扰故障激励测试模型．该模型在考虑了互连几何特征的基础上,采用了渐进式测试矢量生成及施加,对生成的测试矢量立即进行故障检测及判断,从而可以大大减少测试矢量数,并节省测试时间．最后进行了仿真验证．结果表明,该测试模型与现有的多跳变故障模型、半跳变故障模型相比,在保证故障覆盖率的情况下,紧凑性指标更小,测试时间更短,测试的故障类型更多,可以更加有效地进行非理想互连系统的串扰故障激励测试．     

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

CBTC 系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在。在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成。     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术(OOBFDT),提出了一种基于面向对象技术的协议测试例生成新方法.它采用C 语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便.同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例.而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作.     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术（OOBFDT）,提出了一种基于面向对象技术的协议测试例生成新方法。它采用C＋＋语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便。同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例。而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作。     

某型号测试任务的SHEL风险模型分析

验证性试验及测试任务往往伴随着风险,需要应用风险管理工具对此进行动态管理.本文描述了某型号测试任务中SHEL风险管理模型的系统工作流程分析及风险管理实例,进行了系统危险源的分析,并对该风险管理模型应用情况进行了评价.     

故障模型的最优化测试序列

故障模型的合理性是衡量一个测试算法好坏的主要标准之一。在注入故障模型时，必须按一定的次序依次测试各个故障模型，使得形成各个故障模型的状态所需所读／写等操作数目最小。基于Ｈａｍｉｌｔｏｎ路径的生成原理，提出了一种读／写操作数目最小的最优化测试序列。     

基于状态检测的TCP应用服务端安全测试

针对由API函数实现的TCP协议不具安全性，以及常规安全检测仅对连接初始状态进行安全测试的局限性，提出基于连接的全程状态监控的安全测试方法：1）提出了基于全程的连接监控和检测的方法，以改善系统的安全性；2）运用有限状态机的理论和方法对TCP协议进行分析，并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术，提出了TCP服务端的安全测试模型；3）给出形式化描述和验证机制，在形式化定义的基础上，分析了检测方法的正确性；4）设计了TCP服务端的安全状态检测算法，进行了相应的试验验证。基于全程状态检测的安全测试对于中间过程中的安全攻击有很好的检测效果。     

Minimal-Length Interoperability Test Sequences Generation via Genetic Algorithm

A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.     

基于局部错误诊断的动态协议一致性测试方法

为提高测试结果的可靠性和错误覆盖率，在动态协议一致性测试过程中引入局部错误诊断机制，提出了一种新的动态测试方法，并在确定有限状态机模型下分析其原理及正确性. 新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选，有效避免了对局部错误位置的错误判断. 同时，提出了一种基于错误子列的局部错误诊断方式，突破了单一错误假设的局限，更具实用价值. 实验结果表明，该测试方法可以有效地避免由于局部错而误造成的测试结果可靠性的降低，具有更好的错误覆盖率.     

启发式探索的协议测试序列生成

为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法. 该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题. 实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.     

基于网络的自动测试系统的研究

论述了网络环境下实现可程控仪器间的通讯及实现这一通讯方式的网络测试系统的基本构成和接口部件——网络仪器服务器的用法,并描述了网络仪器协议的参考模型及其RPC。     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

协议一致性测试系统中执行器的设计与实现

提出一种用于协议一致性测试系统的执行器的结构，并具体描述了执行器中各个模块的实现方法，最后使用该执行器对Linux AS4．0操作系统中IPv6邻居发现协议实现进行了一致性测试并给出了测试结果。结果表明：测试主机操作系统上实现的邻居发现协议符合标准协议规范。     

协议软件实现的面向对象方法及其应用

为了克服协议软件设计与实现中的复杂性,对协议软件状态机建模过程和消息处理过程进行研究,提出一种基于有限状态机机制和事件驱动机制的面向对象方法,用以设计事件发生器、事件分发器和消息格式转换器,同时分离协议栈消息处理逻辑和状态逻辑,使其便于复用和扩展,由此改善协议软件的设计。将新方法应用于GSM(Global System for Mobile Communications)通信协议栈的软件设计,并对所设计的软件进行测试,结果显示所设计软件可靠性和稳定性良好。