【摘 要】
：
软件测试的质量决定了软件系统是否能够按照需求可靠运行，在测试过程中运用不同的测试准则得到的测试效果也各不相同，而软件测试充分性是检验软件测试准则优劣的唯一标准。基于
【机 构】
：
北京信息科技大学计算机开放系统实验室
【基金项目】
：
北京市学科与研究生教育基金（PXM2015-014224-000018）,国家自然科学基金项目面上基金（61370129）
论文部分内容阅读
软件测试的质量决定了软件系统是否能够按照需求可靠运行，在测试过程中运用不同的测试准则得到的测试效果也各不相同，而软件测试充分性是检验软件测试准则优劣的唯一标准。基于函数调用路径准则，将路径覆盖的分析粒度南语句扩展到函数级别，不仅使测试工作量成指数降低，同时保证了测试效果。通过建立一种研究测试准则的测试充分性的指标体系运用数据包络分析法（DEA）定量计算了基于函数调用路径准则与其它测试准则的相对充分性。实验结果表明，函数调用路径准则相较于其它覆盖准则具有较高的测试充分性。
其他文献
针对传统FCM聚类算法的不足,提出了具体改进的方法.通过对算法中聚类数C的选取、隶属度的修正等问题的讨论,有效地弥补了传统算法中存在的不足,取得了较理想的聚类效果.最后
海上雾天条件下采集的全景图像通常存在对比度低、饱和度低和颜色失真等现象,严重影响全景视觉图像采集系统的性能。由于应用经典暗原色先验算法处理全景海雾图像时,会出现由于非天空区域存在高亮物体,导致全局大气光估计不准确从而影响去雾效果的问题。为解决上述问题,提出一种改进暗原色先验的全景海雾图像去雾算法。结合海上全景图像的特点,对暗原色先验算法中的全局大气光估计方式进行了改进:首先设计了一种改进霍夫圆变换
思想政治工作作为医院管理中重要的组成部分，是保证医院工作顺利开展的保证，因此医院不仅要做好医疗管理工作，更要重视思想政治工作，促进医院的发展。本文就思想政治工作在医院管
针对高度粗略已知的地面固定目标三机时差定位问题,为提高定位精度,分别从不同的数据融合角度出发,提出了两种实用、可行的数据融合策略。首先,在传统时差定位求解算法—Chan算法的基础上,考虑将当前时刻和当前时刻之前的目标位置估计值进行融合,给出了一种简化的加权最小二乘算法(Simplified Weighted Least Square,SWLS)的定位融合方法。然后,根据跟踪滤波的思想,考虑将当前时
中图分类号：R457文献标志码：A文章编号：2095-9214（2016）08-0140-02 输血治疗是临床医学重要的内容，是促进外科发展的三大要素（麻醉技术、无菌技术及输血技术）之一，随着现代医学技术的迅猛发展，无论是外科还是内科的输血也发现了深刻的变化。从传统的输全血发展到输成分血，从用血浆补充血容量发展到用晶体液和人造胶体液替代容量补充，从输异体血发展到输自体血直至无血手术等是每个临床医
“高效课堂”是我们教育教学追求的终极目标。“高效课堂”既是一种理念,也是一种教学策略,更是我们课堂教学的基本追求。课堂是一个舞台,人人自由,充分展示自我,我成功,我快
医院物流信息系统能够全程跟踪管理医院药品、设备的购入、使用和消耗等各个环节,降低医院运营成本,提高工作效率和管理水平.利用Power Builder作为数据库前端工发工具,后台
在风力发电变桨距优化控制问题的研究中,针对具有不确定性的非线性风电机组,设计了基于径向基函数神经网络(RBFNN)的风电机组变桨距反推滑模控制器。首先应用精确反馈线性化理论将原非线性系统模型进行全局线性化处理,再应用RBFNN对不确定项进行逼近,结合滑模控制和反推法,设计反推滑模控制器(BSMC),保证了高风速下风机的稳定性,抑制了不确定项对系统的影响,避免了传统反推法存在的计算复杂问题。通过与传
近年来,在国家大力倡导高校专业课教学中应充分融于德育元素的大背景下,思政教育不再仅是思政教师的责任,专业课教师亦应参与其中。面点类课程教学过程在传授专业知识的同时,
公路路政档案是路政管理机构在行政执法过程中形成的，它是反映路政管理部门历史真实面貌的重要依据，是路政管理部门制定政策的基础，也是衡量路政管理科学化和现代化的重要尺度．本