【摘 要】
：
在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协
【机 构】
：
北京控制工程研究所,北京轩宇信息技术有限公司
论文部分内容阅读
在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成,提出一种基于数据模型的接口用例自动生成技术,根据复杂的接口协议文件,建立被测软件的接口协议形式化模型,准确、高效地表达接口协议规则及要素,并使用动态计算与替换算法得到相应业务场景下的预期结果,生成标准化的测试用例,更可兼容多种类型的接口,有效提升了接口测试效率。
其他文献
为保证配电自动化系统的稳定、可靠、安全运行,所有配电自动化设备在入网之前,需对设备终端进行通信规约、功能和性能等全面检测。结合最新发展的先进人工智能理论,提出一种
目的:探讨益气养阴解毒方联合环磷腺苷葡胺注射液对病毒性心肌炎患者心功能及外周血清肿瘤坏死因子-α(tumor necrosis factor-α,TNF-α)、转化生长因子-β1(transforming g
深度学习以其强大的自适应特征提取和分类能力在机械大数据处理方面取得了丰硕的成果,由于电机结构的复杂性,其信号表现出的非平稳、非线性和复杂多样等特点,使得传统分类方
1 缸套、活塞间隙过大 活塞与汽缸的间隙过大，活塞在汽缸内摆动撞击汽缸壁，活塞环对缸套侧压力在曲柄运动平面方向增大，……
目的:研究胃食管反流病中医证候的分布规律,探讨其主要症状与其他症状间的联系。方法:收集186例胃食管反流病患者的四诊信息,诊断中医证型,采用CONCOR迭代相关收敛法、可视化
介绍了会议电视系统以及国际电信联盟关于会议电视的各种建议.对基于ITU-T H.320和H.323等ITU-T关于会议电视的建议框架及其所包含的系列协议进行了描述.分析比较了H.242/H.2
数字信道化接收机常采用频谱检测方法判断其分析滤波器组中的输出子带信号的存在。为解决现有基于特征值的频谱检测方法由于采用最大和最小特征值的近似值而导致采样点数较少
为了提高电控陀螺罗经在极区的稳定性能,依据经过速纬补偿后的罗经力矩方程解析主轴运动方程,建立主轴运动模型,仿真研究极区启动罗经时纬度变化、运动状态与罗经稳定位置、