【摘 要】
：
随着实进系统的广泛应用,实时嵌入式软件应用对软件测试人员提出了挑战.该文提出基于目标机仿真器的运行时间断言检查测试技术,进行嵌入式软件实进特性和功能特性验证.该文首
【出 处】
：
航天工业总公司第二研究院 航天科工集团第二研究院
论文部分内容阅读
随着实进系统的广泛应用,实时嵌入式软件应用对软件测试人员提出了挑战.该文提出基于目标机仿真器的运行时间断言检查测试技术,进行嵌入式软件实进特性和功能特性验证.该文首先综述了断言检查技术的发展,从断言描述语言,断言插入位置和可运行断言实现技术几方面讨论了目前的技术状态.接着描述了实时断言语言RTAL的语法和语义,以及基本时笆算子的语义子程序.该文提出的RTAL基于在实时系统需求规格和形式验证中广泛使用的实时命题时序逻辑TPTL定义,但避免了大量数学符号的使用.文中采用TPTL表述RTAL的语义,同时讨论了RTAL对TPTL表述能力的完备性.RTAL设计为易于采用语法制导方式建立断言,并直接以语义子程序方式执行.最后,文中给出了实时断言检查器TRAC(Real-Time Assertion Checker)的系统设计和实现方案.RTAC系统由RTAL语法制导输入、事件及断言管理、可执行断言程序生成、运行时间事件监测及断言检查、检查结果管理等部分组成.主要数据结构包括事件数据、事件发生序列数据和断言数据.RTAC将RTAL描述转换为C++程序,然后编译生成可执行代码.
其他文献
《全路客票发售和预订系统》（以下简称客票系统）是国家“九五”计划重点课题，一九九九年又被国家科委列为“重中之重”科研项目，本文所论述的内容是客票系统的一个重要组成部分，主
当今世界,计算机网络发展迅速,网络上的应用越来越多,吸引了大量的上网人群,网络已经渐渐成为了人们生活的一部分。然而开放的网络在为人们提供便利与高效的同时,也带来了许
重定时是一种有前景的时序电路优化方法.该文将重定时技术应用于IC测试综合领域,提出了间接测试生成方法、部分扫描的测试综合算法的时序冗余的去除策略,并完成了相应的软件
BachOS核心是一个嵌入式、实时操作系统核心.该文主要描述了它的设计、实现情况.
该文系统地论述了大型宽幅打印机MEGA-5370中的光栅图像处理器(RIP)的设计与实现.着重讲述了颜色模型和颜色管理;纹理分析和本人设计的自适应误差分散算法和其打印前的图像预
该论文完成的主要工作包括:根据GSM网络经工作的实际特点和需求,提出了"基于知识的GSM网络优化决策支持系统"的系统结构,并对涉及的相关技术进行了分析和论证.对GSM网络优化
Mark Weiser提出了泛化计算（ubiquitous computing）的概念。他设想在未来的生活场景中，计算资源极大丰富，可以在任何时间和地点为用户提供信息和服务。在泛化计算环境下，计算设备
自主式水下机器人(AUV)技术是智能机器人学科发展中的重要一支,它正处在从实验室研究走向实际运用的阶段.该文对包括AUV在内的智能机器人任务规划系统的设计与实现进行了研究
该文旨在研究基于异构数据源建立数据仓库和数据挖掘的技术,设计和实现了一个可在Intranet环境下,支持从不同种数据库SQL Server、Oracle、Sybase及Access等抽取数据的数据仓
近年来,多智能体系统(MAS)已经成为人工智能(AI)研究的一个活跃领域.在复杂的、实时的环境中,多智能体系统要求智能体既能独立自主又能做为团队的一员有效地行动.多智能体系