论文部分内容阅读
论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。
面向嵌入式软件测试的仿真建模
【摘 要】
：
论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具Eas
【机 构】
：
北京航空航天大学14系011教研室
【出 处】
：
计算机工程
【发表日期】
：
2008年04期
【基金项目】
：
国家部委基金资助项目“通用化实时嵌入式软件仿真测试环境关键技术”
其他文献
由于军事领域中情报信息的相对分散独立,存在信息孤岛的特点,使用数据网格可以将这些分布式的异构信息组织起来,实现资源共享和信息集成。ECIShare信息平台在数据网格DataGri
通过在米发糕的制作过程中添加一定量的红薯泥,研究红薯米发糕的生产工艺。结合感官评定和质构特性的分析,通过单因素试验研究红薯、水、小苏打、糖添加量以及汽蒸时间对红薯
随着我国“平安城市”的建设，对各类公共场所安全要求越来越高。为了给公共场所提供一种安全的环境，并为各种公共场所提供一种有效的安全监控预防机制，本论文设计了一种基于H.26
目前我国农业的发展面临着国内外双重压力,为了推动农业企业的稳步发展,必需提高农业企业的经营与管理水平,增加我国农业企业的竞争力。文章分析了我国农业企业的产业特性及
为了使城市规划能在千变万化的动态发展过程中得到正确的实践，真实地把规划的本质、精神在原则性与灵活性处理妥善的基础上付诸实施，笔者以为在加强规划管理中必须坚持分级管理
目的:为研究不同贝类气味的差异,建立一种可以区分贝类气味差异程度的科学方法。方法:以缢蛏、毛蚶、泥蚶、青蛤、菲律宾蛤仔、彩虹明樱蛤、四角蛤蜊、虾夷扇贝为实验对象,利
可持续发展问题并不仅仅是生态平衡、环境保护及资源的可永续利用的问题。同样，城市的可持续发展也不仅于此。本文从可持续发展的城市空间、用地与环境结构，可持续发展的城市聚
目前,屋室装修材料市场看旺,墙纸作为主要材料,需求量很大,开发生产自然纤维墙纸已成为我国建材领域的一个新课题。据有关专家介绍,国际市场自然纤维墙纸正在逐步取代工业化