【摘 要】
：
在汽车电子软件开发领域,基于模型的开发方式得到了越来越广泛的应用,而作为基于模型的开发方式的重要且不可或缺的组成部分,验证成为软件开发人员越来越关心的技术问题。本
论文部分内容阅读
在汽车电子软件开发领域,基于模型的开发方式得到了越来越广泛的应用,而作为基于模型的开发方式的重要且不可或缺的组成部分,验证成为软件开发人员越来越关心的技术问题。本文探讨了如何利用对状态图的验证,来提高汽车电子软件的开发过程的效率和安全性。本论文的研究目的是提供给用户一个支持状态图的可视化建模与动态模拟和验证的工具。通过该工具,可以帮助用户直观高效地对状态图进行建模,通过可视化的建模更好地实现软件开发过程中的沟通;并提供状态图的动态模拟仿真,帮助用户调试和发现建模的错误,和与预想的设计逻辑不相符合的地方,并且准确地定位到错误和问题的具体位置;最后通过状态图的验证来帮助用户在进行下一步软件开发前提早检查出可能出现的设计问题,从而使得用户能够更高效的完成汽车电子软件的开发工作。本论文的主要贡献有:1)在SmartOSEK IDE的框架中设计并实现了一个用户交互的状态图建模环境。能很好地为SmartOSEK IDE中支持汽车电子的状态图模型提供支持,也能够独立进行状态图建模。2)针对状态图的模拟仿真,设计并实现了一个状态图语句的模拟器。通过在状态图仿真过程中,动态地在本机内存中模拟状态图中动作的执行,实时地保证状态图仿真的正确性。并且能够在模拟仿真过程前对状态图上的语句进行错误检查。3)在状态图模拟的基础上,设计并实现了一个状态图的验证引擎。提供了状态图的验证功能,使用户可方便快捷地检查整体设计的逻辑正确性和其它的设计冗余问题。
其他文献
因特网的迅速发展,促使其访问方式的多元化发展。人们已经不再满足于仅仅通过计算机浏览器浏览因特网,越来越多的人希望可以使用电话,手机等通讯设备浏览网页。相对于表达能
软件测试是软件开发的重要环节，贯穿于软件过程的始终，是一个科学的质量控制过程。开放式基金代销系统(简称OPS)是指基金销售机构使用的与基金销售业务相关的信息系统，以基金风
极限大容量数据处理系统是一种对大量数据进行处理,且对性能、扩展性、可用性和安全性有很高要求的系统,通常需要采用分布式计算技术满足需求。现在的分布式计算技术主要分为
随着社会的蓬勃发展,软件行业的激烈竞争也日益明显,人们对软件的质量要求也越来越严格。软件测试则是软件质量保证中的关键技术。一个软件系统在开发过程中以及研制完成后,
随着计算机网络在人类生活中的地位越来越重要，网络安全被放在了网络研究的一个重要的位置。管理网络、优化网络、维护网络已经成为了当今计算机网络研究的重要方向。有鉴于此
随着计算机技术和网络技术的发展，在高校数字化校园环境下存在各种管理信息系统，比如教务管理系统，科研管理系统、财务管理系统等。这些系统覆盖了学校大部分工作，成为学校教学、
分子动力学仿真是一种分子模拟方法，这种方法主要依靠牛顿力学来模拟分子体系的运动，计算体系的构型积分，并以构型积分的结果为基础进一步计算体系的热力学量和其它宏观性质。
集成了传感器、嵌入式技术、网络和无线通信四大技术而形成的无线传感器网络是一种全新的信息获取和处理技术。它能够协作地实时监测、感知和采集各种环境或监测对象的信息，并
随着计算机和网络技术的日新月异，无线通信网络从2.5G到3G的推进，世界进入了前所未有的信息化时代，科技服务成为当今企业信息化的重要内容。对于复杂多变的市场环境，开发伸缩性强
数字视频水印技术是目前信息安全领域研究的一个新方向，是一种可以在开放的网络环境下保护数字作品的版权、认证来源及完整性的新技术。创作者的创作信息和个人标志通过数字水