论文部分内容阅读
软件测试中，静态度量和测试的预测，可以有效提高测试的效率，降低测试成本。文章在对软件测试技术研究的基础上，提出了一个基于谓词的静态度量分析法和曲线重心预测法，经实验和数据分析表明效果良好。
软件静态度量和预测模型研究
【摘 要】
：
软件测试中，静态度量和测试的预测，可以有效提高测试的效率，降低测试成本。文章在对软件测试技术研究的基础上，提出了一个基于谓词的静态度量分析法和曲线重心预测法，经实验和数据
【机 构】
：
北京7223信箱10分箱,中国科学院研究生院
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年24期
其他文献
该文主要讨论了基于序列图像的三维重建中的两个关键算法:特征数据点列的重采样算法与三角化算法。把Douglas-Peucker线性简化算法应用在特征边界的重采样上,数据的压缩比得到了明显的改善,也显著地提高了可视化速度。并使用一种简单的三角化算法,对重采样后的数据点列进行三角化,实现目标的三维重建。
文章在代数格及其运算的基础上，深入研究格的嵌入，使得建立在格上的范例相似度量，在范例复用所做的属性替换后，不但遵循一致、严密、完备的理论框架，而且能进一步提高相似度量的精
《之江新语》是生动记录习近平总书记推动中国特色社会主义在浙江创新实践的集成之作,是系统阐述习近平总书记在浙江实践基础上形成的科学思想体系的经典之作,与党的十八大以
自2018年中央一号文件提出实施乡村振兴战略以来,平湖市自然资源和规划局主动下沉,人村人企,纳言献策,以夯实资源保护红线和基层治理为目标,以推进村土地利用规划实施和全域
[目的]观察银杏达莫联合肾康注射液治疗慢性肾衰竭的疗效。[方法]将100例患者随机分为两组,对照组常规治疗,治疗组加用银杏达莫联合肾康注射液治疗。观察两组治疗前后疗效。[
近日，电信专家阚凯力教授再度表明个人立场，一如既往地认为小灵通活命不多，大不了再苦撑3年。作为通信界的老专家，阚凯力不会说出随便之言。但在考虑到通信市场风云的一日千变，人
本文指出了实践教学薄弱成为制约高等农业院校人才培养质量的瓶颈,实践教学改革势在必行.简述了北京农学院农学专业实践教学《农事学》课程的设立,介绍《农事学》课程设立的
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观，不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM＋＋