论文部分内容阅读
鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。
一种协议互操作测试系统开发框架
【摘 要】
：
鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。
【机 构】
：
华北计算技术研究所总体部
【出 处】
：
计算机与现代化
【发表日期】
：
2013年03期
其他文献
自组织线性表在非等概率查找中具有较好的效率。本文在原有3种基本构造策略的基础上，提出一种新方法——移至中位策略。该策略优化自组织线性表中记录的调整方式，减少了累计记
传统的JPEG图像盲隐写检测算法主要是通过单个或是两个特征集融合的方式来设计。而对于多个特征集,如何从这些特征集中选取一个较优的组合进行融合,目前尚处于研究阶段。本文提出一种基于改进AdaBoostSVM的多特征融合隐写检测方法,并通过设计多个实验来验证算法的性能。通过实验比较,在JPEG图像隐写多特征融合盲检测中,该方法能够在有限的计算复杂度下得到一个融合效果较优的特征组合。
基于市场经济模型的网格资源调度问题是一个典型的离散问题及NP—Hard问题，考虑到离散粒子群优化算法在解决离散问题上的有效性，本文在现有算法的研究基础上，提出一种基于改进的
在LLVM中间形式上，得到影响某特定程序关注点的程序片段，削减不相关部分。基于Andersen指向分析算法构建准确的调用图，得到程序执行中可能到达给定程序节点的基本块；根据指向分析
<正> 西瓜是浅根好气性作物,对土壤条件及栽培技术要术比较严格,如果栽培管理措施跟不上,会出现各种各样的生理病害,使产量降低,品质下降。一、茎、叶病害及防治(一)缺钙症。
党建工作是高职院校工作的重要组成部分，本文通过分析党员发展流程，在Visual Studio 2005平台上，结合C#语言，使用Ajax技术设计一套B/S模式的党务管理系统。该系统的使用使得党务
为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法.第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以
桌面辅助系统不仅是铁路客户服务中心工作人员业务操作的平台，还是所有业务系统中的核心系统。本文描述铁路客户服务中心的相关业务，分析系统之间的关联关系，设计并实现系统架构
协同聚类算法是通过同时对文档和特征进行聚类的一种聚类算法，该算法可以挖掘文档内部特征之间的潜在关系从而达到提高聚类效果的目的。随着大数据时代的到来，算法的并行化显示
<正> 尚义县位于张家口地区西北部坝上高原,是胡麻的集中产区,栽培历史悠久。但自1981年以来,全县胡麻病害发生加重,经济损失很大。我们分析胡麻病害日趋严重有如下原因。一