论文部分内容阅读
本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。
基于模型的实时系统测试方法
【摘 要】
：
本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年04期
【基金项目】
：
国家自然科学基金资助项目(60233020,90104007);国家863计划资助项目(2001AA113202,2001AA113190)
其他文献
《宣和画谱》是由徽宗御制的一部很重要的绘画理论著作,有些人没看到它的重要意义及其包含的丰富而复杂的美学思想,因此对《宣和画谱》作了很低的甚或是否定的评价。《宣和画
消费扶贫是新时代背景下一种新的扶贫开发实践,具有促进贫困人口增收、提高生产经营能力、激发脱贫致富内生动力的作用。但是,消费扶贫工作处于探索阶段,还存在很多问题。针
现代流行语是语言变异的一种形式。它既有地域方言的特点 ,也有社会方言的特点。现代流行语发展快 ,数量大 ,而且具有比较深刻的社会文化价值和语言学价值。崭新的语义内容一
本文借用中文社会科学引文索引(CSSCI)1998年～2007年的统计数据,从总被引次数、影响因子、即年指标、论文地区分布、论文机构分布、基金论文数、高频被引论文分布等多个角度,
结合2018年安徽省初中化学优质课观摩,选取其中几个案例从“宏观到微观”“证据到推理”“态度到责任”“模型到本质”四个方面阐述如何构建以学科素养的建立为起点,课堂的落
观察和评估意识形态领域的形势,首先要看到其总体发展态势积极健康向上的一面,同时也要看到斗争复杂的一面,特别是那些干扰党和国家指导思想的错误观点,而当前出现的"苏马非
21世纪伊始,全球化进程不断加速,知识经济深入发展,国际竞争日趋激烈。世界主要国家和国际组织纷纷出台了教育改革和发展战略。在高等教育领域,改革的主要内容包括加大教育投
海洋能作为新兴的可再生能源，具有蕴藏量巨大和清洁无污染的特点，越来越受到人们的重视。我国拥有漫长的海岸线，广袤的海洋中蕴藏着丰富的海洋能资源。开发利用海洋能资源对于缓
回顾性分析我院34例多节段非相邻型脊柱骨折患者的资料,按脊Frankel髓神经损伤分级:A级4例,B级2例,C级6例,D级12例,E级10例。手术治疗30例,非手术治疗4例。术后跟踪观察。结
模仿说自古希腊以来,在西方文学理论发展史上就是一个很重要且颇具影响力的学说。柏拉图、亚里士多德等著名理论学家和哲学家都为模仿说的发展做出了贡献。虽然两人观点不尽