论文部分内容阅读
基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一.首先给出了用于有限状态机一致性测试的定义和性质,接着讨论了基于有限状态机一致性测试的概念和步骤,最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型.
基于有限状态机的一致性测试模型
【摘 要】
：
基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一.首先给出了用于有限状态机一致性测试的定义和性质,接着讨论了基于有限状态机
【机 构】
：
装备指挥技术学院试验工程系,装备指挥技术学院试验指挥系
【出 处】
：
装备指挥技术学院学报
【发表日期】
：
2003年1期
其他文献
指纹预处理算法是指纹识别的关键技术之一,是提取指纹特征信息的基础。系统阐述了指纹识别系统的结构、流程及相应算法实现,重点讨论了预处理过程的几种算法,对每个功能模块和算法均给出了处理结果。整套预处理算法在选择单元算法方面充分考虑了局部最优性与全局兼容性问题;通过项目实践可看出其处理结果比较理想,程序的移植性较好,可搭配其他特征提取算法和匹配算法。
探索了FORTRAN程序调用MATLAB函数的基本原理，并给出如何编译带有MATLAB引擎函数的FORTRAN程序的具体技术。在计算流体力学的FORTRAN计算程序基础上，通过调用MATLAB引擎函数实
分别介绍了基于发射光谱、相干反斯托克斯喇曼光谱(CARS)和激光诱导荧光光谱(LIF)的燃烧诊断技术的原理、方法、发展现状以及一些具体应用结果,并展望了它们在燃烧科学研究和
介绍了装备可靠性门限值的概念和确定方法,提出了2种确定装备可靠性门限值的方法--基于专家评分的相似装备折衷系数法和基于Duane模型的预测增长率法.相似装备折衷系数法综合
针对台海局势，对美国和台湾地区装备费投量投向进行了量和质2方面的分析，并根据美国和台湾地区武器装备发展状况，提出了提高我军对台威慑的武器装备发展战略。
讨论了遗传算法的优点及存在的局限性.通过引进混沌搜索策略,对遗传算法的初始种群进行混沌搜索,筛选出优化种群.并将遗传算法作为小波神经网络的学习算法,再次运用混沌搜索