嵌入式软件功能路径测试用例自动生成研究

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:yiyu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据嵌入式软件的结构特点尝试了一种适合于嵌入式软件测试实际的功能路径测试方法.通过分析功能路径上的结点谓词和功能约束条件,用一种简洁、快速的算法建立和求解输入变量的约束系统,生成功能路径测试用例.实践证明,该测试用例可同时测试嵌入式软件的功能和结构,测试效率高、生成代价低且测试较为全面,能有效降低嵌入式软件开发、测试和维护的成本.
其他文献
计算机网络技术和现代教学管理思想的结合是无损检测教育发展的必然趋势。介绍无损检测网络教学系统的总体结构和功能特点,阐述了系统实现的具体形式和使用方法。远程网络教
针对复杂背景下的多目标检测和跟踪问题,提出了将背景差分目标检测算法与高斯金字塔图像重采样相结合的运动目标检测算法.该算法采用高斯金字塔法对图像进行重采样,建立背景模型,使用背景差分法获得前景区域,并对前景区域进行阴影检测、去除,从而检测出完整目标.融入了高斯模型关于背景更新的算法,克服了由于背景突然改变而造成的误检测.在目标阈值的确定过程中,采用动态阈值确定法,以提高目标检测的正确性.同时将目标的
在传统的SVPWM算法的基础上,对计算量大的环节——扇区判断环节、电压矢量作用时间求解环节进行改进,并且使用可以通过估计得到的角度值进行计算,避免了传统方法中的坐标变换、
随着我国经济管理体制改革的不断深入,行政管理体制改革的要求愈显迫切,推动政府职能转移成为深化改革的重要突破点和切入口。在当前经济转型时期,加快政府职能转移已经成为当前全面深化改革的重要任务。政府向行业协会转移职能在河北省一些地方已经出现不同的实践形式。政府职能转变是推进我国政府从全能型政府向服务型政府转变的主要着力点和重要抓手。
基于图像的火焰检测能适应大空间和恶劣环境火灾预防应用的需要,首先分析了火焰图像的色彩及轮廓信息等重要特征,然后提出了基于连通区域面积阈值化的单像素宽度目标轮廓特征的抽取方法,再应用所建立的火焰检测色彩模型,融合火焰色彩和边缘轮廓动态变化等特性,实现了在视频序列图像中火焰的自动检测.实验结果显示,该方法能实时检测火焰,误判率低.
提出一种用于科技信息资源共享的数据服务模型,支持以服务的形式发布并共享各类科技数据,特别是能在服务层面对数据的容量、冗余度、异常情况,以及完整性等数据本身的质量信
MP3采用MPEG-1 LayerⅢ层标准压缩编码格式,压缩率很高,失真也较小,算法也较为复杂.就MP3解码过程中,针对各解码模块的特点,通过浮点转定点运算、分段拟合、查找表等方法,对