一种符号化执行的实时系统一致性测试生成方法

来源 :电子学报 | 被引量 : 0次 | 上传用户:hummerandy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
系统一致性测试用来验证和确认系统实现的正确性。针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法。首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS ,基于该模型定义了时间一致性关系(tioco );然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性。
其他文献
结合工程实践,介绍了高性能混凝土的配合比情况,从高性能混凝土的原材料选择、高性能混凝土的施工配制强度、高性能混凝土配合比试验实例等方面进行了论述,指出高性能混凝土的原
针对现有数据采集与监视控制(SCADA)系统向综合自动化发展所带来的分布式控制和缺乏地理信息技术支持的现状,采用系统一体化集成技术实现地理信息系统(GIS)与SCADA系统的综合设计;系统基于C/S层次化体系结构。利用ActiveX技术完成系统整合,由此SCADA系统作为监控的基本手段,而GIS则为系统提供必要的地理信息支持;系统设计注重数据的实时性与一致性建设,建立一体化数据库实现数据的无缝连接
目前较为流行的最小风险的本体映射(RiMOM)框架通过采用"多策略"的思想虽然取得了一定的效果,但其框架比较臃肿庞杂,且采用的计算结构相似度的选择策略存在一定的局限性。针对上述问题,提出一种基于关联规则的本体相似度综合计算方法。首先,构造关联规则的结构"树"模型,得出相应事务集;其次,进行关联规则的挖掘,根据关联规则计算概念结构的相似性;然后,计算概念的实例、属性、名称的相似度;最后,对多个特征相
针对核设施安防系统对图像识别要求较高的特点,对图像识别的Vander Lugt相关器(VLC)和联合变换相关器进行了研究,利用Matlab软件平台对Vander Lugt相关器进行了图像识别仿真实验,得到了二维及三维相关输出图像,显示出尖锐的相关峰。仿真结果表明:在预先制备匹配滤波器情况下,Vander Lugt相关器仿真相关峰峰值高,相关亮斑明显,输出结果较好,符合核设施安防系统的需求,达到了较
基于抑制交叉项,提高信号分量时频聚集性的考虑,提出一种基于可调窗函数进行平滑伪维格纳分布核函数设计的时频分析方法:在保持平滑伪维格纳分布中核函数宽度不变的情况下,根据核函数自项和互项能量分布比,通过调整窗函数中的扩展因子改变核函数形状,获取跳频信号优良的时频表示。与固定窗函数方法相比,应用该时频表示,可以有效估计跳频信号的时频参数,而且有很好的抗噪声干扰能力。
为解决光学多点触控系统中存在的背景变化的干扰问题,提出一种基于平均背景模型的触点提取算法。通过平均像素逐渐更新背景,改进最大类间方差法(OTSU)设置自适应阈值进行触点提取。结果表明该算法可消除环境背景随时间缓慢变化所产生的影响,大大提高了光学多点触控系统的触点识别准度及对环境的适应性。
1993年高中毕业后,面对补习复考,我思考再三,最终决定放弃继续读书考大学,并选择了返回农村。当时的农村青年,大多数都想考出农门或在城市打工,我之所以决定回到农村发展,主要是根据
针对多项目多任务选择计划及项目流程调度问题,综合考虑项目的权重、承继约束、各项目内部任务的时序约束及各种资源在使用上存在着先后顺序等特点,将项目层、任务层及资源利用统筹考虑,结合多层决策的思想,建立项目、任务、资源统筹兼顾的混合规划模型。依据免疫系统中克隆选择、细胞克隆、记忆细胞获取、亲和突变等机制,设计求解此模型的免疫克隆选择算法。数值实验结果说明了该模型设计的合理性及算法的有效性。
陕西子洲县大棚蔬菜种植始于上世纪90年代初,虽经多年发展,但目前全县大棚蔬菜产量总体仍偏低,导致近30%的大棚闲置。为此,笔者进行了较为详细的调查,分析了低产原因及高产策略。
为了研究无线传感网的磁耦合谐振式无线供电技术,根据电路理论,建立了单线圈发射3个线圈接收的电路模型,同时推导和研究了负载电压、传输效率等传输特性与谐振频率、负载电阻