【摘 要】
：
为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题，提出了一种基于需求模型的嵌入式控制器测试方法。首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法
【机 构】
：
西安科技大学计算机学院,山东工商学院信息与电子工程学院
论文部分内容阅读
为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题，提出了一种基于需求模型的嵌入式控制器测试方法。首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法，然后在行为模型的基础上提出了一种测试用例的生成方法，并给出了缩减测试用例个数和构造典型测试用例的若干条规则，证明了这样产生的测试用例集对于任意被测功能的完整覆盖性。最后通过一个测试案例说明了测试系统的实现方法以及实际效果。
其他文献
直观法教学能加强感性认识,使教学过程中的理论与实践相结合,符合一体化教学的要求。
本文通过对高职建筑装饰工程专业的课程改革各阶段的记录和分析，总结出实践教学改革应从专业理论课程整合入手，坚持以教师为主导，以学生为主体，紧密结合装饰市场的教学模式，强化训
目的比较科华、达安两套核酸筛查系统的核酸检测能力。方法运用科华、达安核酸对经过系统酶联免疫吸附实验(ELISA)检测剔除双试剂阳性的104121例献血者血液标本,及卫生部室间
根据省委组织部、省民政厅安排,2014年湖北省基层农村党组织、村委会（简称“两委会”）将在当地党委、政府领导下完成换届选举工作,这项工作关注度高,涉及面广,既是对村“两委会
<正>随着新一轮科技与产业革命的兴起,社会形态发生翻天覆地的变化,未来社会对学生的需求也相应改变,综合素质与能力的养成是每个国家人才培养的核心竞争力,依靠流水线作业来
本文结合新课标语文课堂教学实践，就指导学生在语文课堂中开展合作学习的教学方法及效果进行了分析。明确只要我们更新观念,深入备课,灵活采用合作方法，就能优化课堂教学，提高语
随着芯片设计进入纳米时代,芯片的规模和工作频率不断提高,尤其在工艺发展到65nm及以下时,芯片的功耗已经成为继面积和性能之后的主要影响因素之一.面对低功耗设计技术要求的
为不断推进“三务”公开工作,夯实党风廉政建设主体责任,强化依法行政,增强决策透明度,提升科技管理工作服务质量,呼和浩特市科技局党组高度重视“三务”公开工作,建立健全“
目的:探讨输尿管软镜钬激光碎石术(FUL)术后发生全身炎症反应综合征(SIRS)的风险因素。方法:分析2012年10月~2014年11月间260例患者临床资料,按术后是否发生SIRS分组,单因素
提出一种分块局部二值模式的图像检索方法,首先利用3×3像素邻域的局部灰度均值代替其中心像素作为阈值计算LBP值,以改善传统LBP算子的缺陷;然后对图像采用分块处理,以便更好地提取图像的局部特征.实验表明,与传统的基于局部二值模式的图像检索方法相比,此方法具有更高的检索准确率.