论文部分内容阅读
在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系统体系结构由测试初始化配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块组成。
一种嵌入式软件的类状态测试框架设计
【摘 要】
：
在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系
【机 构】
：
重庆大学计算机系
【出 处】
：
计算机系统应用
【发表日期】
：
2008年1期
其他文献
论述了在uClinux中基于Framebuffer的LCD驱动程序的实现方法。首先主要介绍Framebuffe的处理机制以及底层驱动的接口函数，并在ADSP-BF561平台上进行了具体实现；其次在Framebuff
传统的椭圆Hough变换存在运算速度慢,计算量大,占用储存空间大等缺点。针对尿沉渣镜检图像,首先对利用圆环Hough。变换对全图中的红细胞进行粗定位,之后针对每个可能存在红细胞的小区域,利用一个改进的随机椭圆Hough变换对图像中的红细胞进行定位识别。该方法由于采用了低维Hough参数空间且合理减少了随机椭圆Hough变换中的采样次数,从而同时降低了算法的时间与空间开销,同时还具有良好的抗噪能力,
数据类型的重新定义、控制流恢复和自定义函数或结构体的识别是结构化语言逆编译过程中的难点,以往研究多采用改进汇编语言的数据类型表示和增加自定义函数或结构体的特征量
传输函数是直接体绘制的基础,传输函数的设计是体视化结果的关键。本文在传输函数的定义上,讨论了将体数据标量值和梯度模值作为定义域的多维传输函数的原理及实现方法。针对传输函数与位置无关,难以提取感兴趣的区域(Region Of Interest简称ROI),提出了基于三切面交互式体数据的切割方法,从而有效的提取感兴趣区域。最后,设计和实现了一个基于多维传输函数的三维医学图像系统,获得了很好的体绘制效果
文本分类技术已经成为处理和组织文本信息的关键技术之一。KNN算法是文本分类中一种实用的方法。它在每次分类的过程中都要计算测试集中未标记文本与训练集合中所有样本的相
通过分析实际的ETC车道控制系统,基于面向对象的思想,设计和实现了一种扩展性良好的ETC车道控制系统的自动测试方案,以完成对车道控制系统的功能和性能测试,提高测试效率。该
在研究程序代码相似性度量方法的基础上,提出一种基于XML store的程序代码查询匹配算法。由于XML store以树型结构保存XML文件,算法将通过查询XML store中DVM树来对判断程序
<正>The heart of any modern manufacturing business is an efficient warehouse management and distribution service.Customers' expectations about product deliv
介绍了一种基于DWGDirectX在不依赖于AutoCAD平台的情况下实现DWG文件的显示、操作、添加的简单的实体的方法,并对该方法进行了分析和实现。