论文部分内容阅读
基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。
一种基于构件的嵌入式实时软件测试方法
【摘 要】
：
基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。
【机 构】
：
西南大学计算机与信息科学学院,重庆市智能软件与软件工程重点实验室
【出 处】
：
科学技术与工程
【发表日期】
：
2010年13期
【基金项目】
：
重庆市自然科学基金项目（CSTC 2006BA2003）资助
其他文献
摘要：本文基于消费结构升级，探讨了当前扩大我国消费的总体思路和对策，分析了消费结构的变化是一个不断演进和升级的过程，提出促进消费结构升级是解决当前消费问题的关键。由此，进一步提出了提高城乡居民收入水平和促进消费结构升级等对策建议。 关键词：消费需求；消费结构升级；收入水平；消费空间 中图分类号：F126.1 文献标识码：A 文章编号：1672-3309(2010)11-51-02 一、基
摘要：该文提出了一种全新的推理机制，是一种通过将前提和结论中的复杂公式不断拆解来证明的推理机制，主要运用了矛盾转换原则来实现对公式的拆解，将对复杂公式形式的判断转化为对文字的判断。 关鍵词：推理；矛盾转换；人工智能 中图分类号：TP312 文献标识码：A 文章编号：1009-3044(2006)29-0179-03
摘要：培养学生学习的兴趣，是提高教学质量的重要保证。计算机教学中如何培养学生的学习能力，提倡教师只讲解一些难懂的、易错的地方以及一些更快更有效的学习方法，激发学生学习的求知欲和好奇心，培养学生敏锐的观察力和丰富的想象力，把作业与考试结合起来，充分发挥教师与学生的主导和主体作用，提高教学实效。 关键词：计算机教学；学习；兴趣；求知欲 中图分类号：G633 文献标识码：A
摘 要：受传统教学观念的影响，多年来体育教学在青少年的心目当中是被忽视的。很多学生不喜欢体育，在体育课中体会不到乐趣。怎样提高青少年学生在体育课堂上的积极性，让他们体会到快乐，是体育教师在教学中应该充分考虑的问题。 关键词：青少年；体育；快乐；情感环境；兴趣 中图分类号：G633.96 文献标志码：B 文章编号：1008-3561（2015）29-0066-01 体育教师是一个神圣的职业，但
中共中央政治局常委、国务院副总理李克强日前表示，我国将推动战略性新兴产业加快发展，不失时机地发展战略性新兴产业，培育新的经济增长点。 李克强5月21日出席财政支持新能源和节能环保等新兴产业发展工作座谈会并讲话。他表示，我国瞄准未来产业发展的制高点，选择那些潜在市场大、带动能力强、吸收就业多，综合效益好的产业作为新兴产业加以培育，开辟新的发展空间，增强经济发展的后劲。 他还指出，综合考虑国内外情