模型驱动的嵌入式系统测试脚本生成方法研究与实现

来源 :测控技术 | 被引量 : 0次 | 上传用户:notfeet
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动化测试通过机器运行事先准备好的测试脚本进行测试,提升了软件测试效率。然而,测试脚本存在着编写专业性强、调试工作量大、维护成本高、难以复用等问题,成为自动化测试技术难以广泛使用的主要技术瓶颈。以嵌入式系统为测试对象,提出了模型驱动的测试脚本生成方法。该方法根据BPMN2.0建模标准对测试业务流程进行可视化建模;采用路径深度覆盖算法生成测试路径,根据路径上的约束条件生成测试输入参数;通过自定义的测试动作原语将测试路径和输入参数转化为可在嵌入式系统测试平台ETest上自动执行的测试脚本。实现的原型系统支持嵌
其他文献
简要介绍同步转向控制技术在电动叉车设计中的应用.通过电控对分别来自转向器和转向桥主销上的编码器信号进行比较处理.适时地控制电磁阀和油路的开启以对转向缸及时补油,从而实
目的:探索清胃散临床应用剂量。方法:通过查阅度量衡文献以推断出清胃散的理论剂量;通过收集临床使用清胃散个案,运用现代统计方法,以得出清胃散现代应用之置信区间,并将两者
迎合我国大力节能建筑的大环境,某大剧院项目应用了保温外围护墙新材料、新工艺。工程实践证明,保温外围护墙的应用能够降低建筑在使用过程中的运营成本,提高建筑热工环境质
电传飞行控制系统是军用飞机关键安全系统,实施充分且高效的软件测试是保障系统高可靠性的重要手段。电传飞行控制系统软件测试过程中的关键环节是制定测试方案,当前方案的优
拐点是图像很重要的特征,包含图像的主要结构信息,拐点检测对图像配准、目标识别和三维重建等任务的处理都有着非常重要的作用。从研究轮廓上点的曲率出发,针对传统基于轮廓的拐点检测算法对噪声和局部变化敏感而造成检测结果不稳定的问题,提出一种间接反映轮廓曲率特性的方法,记为APTD(Accumulation of Point to Tangent Distance)。使用高斯函数对轮廓曲线进行平滑处理,轮廓
介绍了网格计算的概念、特点,重点分析了网格计算的五层沙漏结构模型.在研究网格计算的应用现状基础上,指出网格计算面临的问题并对其发展趋势进行了展望.
为适应国家和自治区农业产业结构调整,满足广大农牧民对青贮和牧草收获机械的要求,新疆机械研究院,在充分研究和借鉴国内外现有设备的基础上,研制出牧神S-1200型(产品型号:9Q
我校是一所以函授方式教学的高等学校,教学师资力量雄厚,讲质量、重信誉,为适应市场经济对应聘就业、公务员考核录用之需,结合二十一世纪社会用人结构,有针对性地开设以下20
论文在阐述了复用继电保护信号的电力线载波设备(通道和继保接口)的工作原理和实时监测以后,还介绍了监测在该设备运行、维护和管理中的应用.