论文部分内容阅读
软件测试是一个涉及开发周期各阶段的活动,不同阶段的测试目标各异.软件测试研究面临一系列的挑战。论文介绍了由已有成就、需要解决的关键技术和四个最终愿景三部分构成的软件测试研究技术框架.综述了已有的技术途径并指出软件测试需要深入研究的关键技术.
软件测试研究综述
【摘 要】
：
软件测试是一个涉及开发周期各阶段的活动,不同阶段的测试目标各异.软件测试研究面临一系列的挑战。论文介绍了由已有成就、需要解决的关键技术和四个最终愿景三部分构成的软
【机 构】
：
海军工程大学计算机系,武汉,430033
【出 处】
：
2008年全国理论计算机科学学术年会
【发表日期】
：
2008年9期
其他文献
1引言由于合成染料对环境的不良影响,具有环境友好性能的天然染料,尤其是植物性染料在纺织品染色方面引起了强烈的关注和兴趣.Gulmoher和Tessue的花、柚木树和指甲花的叶子、
水坝的建造会改变局部的环境，这种改变最终会形成一种新的平衡环境，它带给人们的变化有时是有益的，有时是有害的。建坝时要对所有影响进行深入全面的分析研究，从而作出趋利避害的
本文通过分析齿轮疲劳裂纹振动信号的特点,建立了一套以信号平均、滤波、移频等相结合的诊断方法。经实例验证,它是一种方便、有效的诊断方法。
传统的矢量量化压缩算法将图像分割为相同大小的编码块,该方法存在较多的冗余。为了提高矢量量化压缩算法的效率,提出一种基于四叉树分割的变维矢量量化图像压缩算法。首先对8×8的图像块进行编码,计算各图像块绝对误差之和,若大于预设的阈值,则将残差分为4等分再编码,重复该过程直到绝对误差之和小于预设的阈值或达到最小图像块。实验结果表明,相对于全搜索的矢量量化方法,在相同码率下,算法编码时间较短且重建图像质量
在简要介绍Ad hoc网络路由算法设计要求的基础上,从先验式路由协议和反应式路由协议两种协议的分类角度,分析几种单路径路由算法的特点并进行比较,最后归纳Ad hoc网络路由算
文章以移动学习的应用为研究背景，试图为Web内容应用于移动学习探索了一种新的转换方法；在代理服务器的基础上，对不规范的HTML文档进行裁剪和格式清洗，使之成为XHTMLMP所要求的严
中国石油和化学工业联合会2015年开展了“第八届全国石油和化工行业优秀报刊评选活动”，来自全国石油和化工行业的153家报刊单位申报参评。《煤化工》在此次活动中荣获“第八
技术的进步与市场的需求使产业用纺织品与微电子、微系统技术的结合成为可能.2003年4月8～10日,法兰克福产业用纺织品研讨会曾专门就这个问题进行了讨论.