非对称模型下的顺序诊断算法

讨论了顺序ｔ－可诊断系统的诊断算法问题。在Ｍａｌｅｋ和ＢＧＭ模型下，分别提出了一种顺序诊断算法，这些算法在测试图是二部图的情形下都是多项式时间复杂性的。     

基于Chaw＆Hakimi模型的诊断算法

首次把系统级故障诊断中的集团概念引入Ｃｈａｗ＆Ｈａｋｉｍｉ模型中,并由此对满足Ｋ（Ｇ）≥ｔ的ｔ－可诊断系统提出ｔ－可诊断算法,对任意测试图首次通过求构造函数最小值的方法得到最优诊断算法。     

基于UML的面向对象软件测试框架

统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言，基于UML，统一软件开发过程(USDP)提出了软件开发的过程方法。目前，基于UML的软件测试研究中，很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架，该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试，其中，系统测试根据use-case和系统序列图生成测试用例，类族测试根据集成的状态图生成测试用例，类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系，并讨论了各类测试用例的生成方法。     

超立方图和超立方有向图的同构因子分解

图Ｇ＝（Ｖ，Ｅ）的一个同构因子分解是边集Ｅ的一个划分：｛Ｅ１，Ｅ２，…，Ｅｔ｝，使得生成子图（Ｖ， Ｅ１），…，（Ｖ，Ｅｔ）都彼此同构。若 Ｈ≌（Ｖ，Ｅ１），记为 Ｈ［Ｇ或 ｔ］Ｇ．若对每个ｔ≥２．当　　　时．均有：ｔＧ，则称Ｇ为有理图．文章证明了超立方图（ｈｙｐｅｒｃｕｂｅ）和超立方有向图都是有理图．     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

平面格图生成树的计数

设ｔ（ｍ,ｎ）和ｔ（ｍ,ｎ）分别是平面ｍ×ｎ格图生成树和对称生成树的数目,从而给出了ｔ（３,ｎ）和ｔ（３,ｎ）的闭公式以及ｔ（ｍ,ｎ）递推式阶的估计．     

基于对象模式关系图的测试顺序生成方法

类的测试顺序对于面向对象的集成测试有着重要的作用．在基于对象关系图（ORD）的测试顺序生成方法上,改进了对象关系图,结合设计模式提出了对象模式关系图（OMRD）,并在对象模式关系图的基础上提出了基于对象模式关系图的测试顺序生成方法．基于对象模式关系图的测试顺序生成方法能在一定程度上解决基于对象关系图的测试顺序生成方法所存在的不足．     

基于Qtronic工具的在线测试产品设计

运用了一种基于模型的测试工具Qtronic,优化设计出一个系统测试模型产品,并分析了如何实现适配器和如何运用自动生成的测试实例对系统进行有效测试.测试结果证明,一个成功的设计模型产品能极大地提高发现系统隐藏错误(Bugs)的机会.     

测试与系统测试比较分析

成功的测试在于发现了迄今尚未发现的缺陷，而且测试是一个是“从小到大”．“由内至外”．“循序渐进”的测试过程，体现了“分而治之”的过程，期中集成测试和系统测试最为重要。集成测试界于单元测试和系统测试之间，起到“桥梁作用”，一般由开发小组采用白盒加黑盒的方式来测试，既要验证“设计”又要验证“需求”。系统测试的粒度最大，一般由独立测试小组采用黑盒方式来测试，主要测试系统是否符合“需求规格说明书”。对两种测试的比较和分析多我们进一步完善软件测试提高软件质量有相当重要的作用。     

基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.     

基于测试事件图的故障诊断系统知识获取技术

针对运载火箭故障诊断专家系统知识获取难度大这一问题,提出了一种基于测试事件图的知识获取方法,通过设置合理的图形组件,绘制出的测试事件图,可完整地表示运载火箭测试流程;通过设计转化算法,可将测试事件图自动转化为故障诊断专家系统知识库中的知识.这种基于测试事件图的知识获取方法可以有效地简化知识获取的难度,便于工程技术人员理解和使用.经过仿真测试,此方法工程应用效果良好.     

容差对子网络级故障诊断的影响

本文结合采用间接可测端点作撕裂端点的交叉撕裂诊断法，研究了容差对子网络级故障 诊断的影响．用随机变量分析模拟电路中元件的容差，通过随机模拟实现对容差总的估计，建立 了容差情况下网络级故障诊断的判别式，进而探讨子网络级的故障诊断，提出了元件故障深度、 元件故障的可诊断测度，子网络故障可诊断率等概念．最后，以网络故障的模拟分析来阐明以上 理论．     

A new diagnosis strategy under the PMC model and applications

A new diagnosis method, called Double-Syndrome diagnostic, is proposed, which can identify faulty nodes by comparing 2 different syndromes. For the same system, the average number of faulty nodes identified correctly by the Double-Syndrome diagnostic is much greater than the t-diagnosability and the(t_1/t_1)-diagnosability of the system. Furthermore, in order to identify the remaining faulty nodes in the system, two strategies of fault diagnostic are proposed, one is called(k, t)-fault diagnosable strategy, another is called(k, t/t)-fault diagnosable strategy. Besides, the conditional(k, t)-diagnosable((k, t/t)-diagnosable) system is introduced. Furthermore, the conditional diagnosabilities are proved for some regular(k, t)-diagnosable and(k, t/t)-diagnosable networks such as n-dimensional hypercube network and n-dimensional star network. And then, for a system, its(k,t)-conditional diagnosability and its(k, t/t)-conditional diagnosability are identical, and in the worst case, they are equal to their traditional conditional diagnosability.     

基于核的有向强连通图计算机随机生成算法

针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算法进行了测试。对具有上千个节点及上万条弧的强连通图的随机生成,采用该算法时间都在1 s以内,生成的结果能很好地应用于图论研究,以作为图论算法的随机测试用例。     

基于MSFG的机载BITE故障定位算法研究

故障定位是机载BITE的重要功能,定位结果的准确性对维修测试有着重要影响。基于多信号流图模型,在构造故障-测试关联矩阵和故障-故障关联矩阵的基础上,引入故障信息矢量和故障定位矩阵,并给出适用于机载BITE故障定位的矢量描述和矩阵定义,进而提出一种简单、有效的故障定位算法。实例验证表明,该算法能够对系统中的故障源进行准确定位。     

系统级故障诊断的一个三值模型

提出了系统级故障诊断的一个三值模型，定义了一类可诊断系统，给出了其特征，并研究了它们的最优设计问题。     

基于最小化攻击图的自动化渗透测试模型

完全攻击图在大规模网络上的应用效率并不理想,主机和漏洞数目的小幅增加导致时间消耗的大幅增加,最小化攻击图可以有效解决该问题．文章优化了最小化攻击图的生成算法并将其应用到渗透测试模型中,通过枚举路径为渗透测试提供测试方案,分析其关键节点提供防御部署的建议．重点解决了生成过程的冗余路径和循环攻击问题,同时利用最小化攻击图生成规模小、效率高的特点使渗透测试系统适用于大规模网络的应用．     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数，E是控制流图边数)。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

关联规则分类的数据流挖掘方法在水电机组故障诊断的应用

引进一种数据流关联规则分类法(AC-DS),并应用该方法对UCI机器学习库中标准数据集进行分类验证,验证结果表明该方法准确且有效。然后将该方法应用到水电机组故障的诊断分类中,证明该方法的分类精度随着测试样本的增加而增加。该方法对现场不同类型机组故障分类有一定意义。     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.