论文部分内容阅读
随着人们对软件地位的重视程度提高，软件测试也成为软件工程中必不可少的一部分，软件测试技术的发展也日新月异，抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解释的概念入手，先后讨论了抽象解释技术在嵌入式软件测试中的工作原理和应用案例情况，最后阐述了基于抽象解释技术的测试方案的好处。
抽象解释技术在嵌入式软件测试中的应用
【摘 要】
：
随着人们对软件地位的重视程度提高，软件测试也成为软件工程中必不可少的一部分，软件测试技术的发展也日新月异，抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解
【机 构】
：
空军航空大学航空电子工程系,北京航空工程技术研究中心
【出 处】
：
中国测试技术
【发表日期】
：
2007年6期
其他文献
提出了一个基于邻域密度的异常检测方法，它能处理混合数据的异常值。在该方法中，样本的异常指标被定义为该样本的邻域大小和该样本的平均邻域密度的加权和。为了验证提出的方法
＂翻转课堂教学模式＂就是通过颠倒式课堂来合理安排课堂教学内容,重新规划课程教学时间,是对传统灌输式教学模式的真正突破.在翻转课堂上,教师通过有效利用信息技术,科学组织学
著名心理学家、教育家布卢姆主张＂给学生足够的学习时间,同时使他们获得科学的学习方法,通过他们自己的刻苦努力,应该都可以掌握学习内容＂.不同的学生需要用不同的方法去教,不
为了降低在传统的文本分类方法中自然语言的不确定性对分类效果的影响，提出了一种结合云模型的文本分类方法。该方法分别定义文本和类别的云模型，通过计算测试文本和每个类别的
鉴于测试仪器日益大型化、集成化和虚拟化，本文介绍了基于岩石模型的复杂智能虚拟控件及以“功能赋予”、“拼搭”方式实现测试仪器的开发；论述了集成体系不同的结构和类型及它
为了达到课程改革的目标,激发学生学习化学的兴趣,培养学生的科学精神和科学价值观,在化学教学中采用翻转式教学模式显得十分必要.本文以浓硫酸教学为例,深入浅出地按照课前
在2016年高考中，电化学的命题点主要集中在教材的基础知识上，题型“稳中有变”，侧重于考查考生对电化学知识的整合运用能力．2016年高考电化学考点分布统计见表1．
有序决策图（OBDD）是一种用于表示布尔表达式的数据结构，并在许多领域得到了广泛应用。在分布式或者动态环境下，利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际