论文部分内容阅读
通过对软件测试框架的研究，给出了测试框架表述的三层模型，并从研究解决的软件测试问题域出发，提出基于缺陷知识的测试框架，具体阐述了该测试框架的三层模型，并且实现了基于缺陷知识的静态分析和灰盒动态测试技术。该测试框架为后续测试技术的研究提供了整体的理论支持。
基于软件缺陷知识的测试框架研究
【摘 要】
：
通过对软件测试框架的研究，给出了测试框架表述的三层模型，并从研究解决的软件测试问题域出发，提出基于缺陷知识的测试框架，具体阐述了该测试框架的三层模型，并且实现了基于缺陷知
【机 构】
：
北京航空航天大学可靠性与系统工程学院
【出 处】
：
测控技术
【发表日期】
：
2012年6期
其他文献
城市品牌形象的力量取决于三个方面:城市品牌价值、城市品牌形象的传播、城市品牌形象信息传播的深度与广度。城市品牌形象的传播离不开传播媒介的支持,同时,传播媒介还对城
针对视觉跟踪中粒子滤波算法的建议性分布函数选择问题,提出一种目标轮廓跟踪的高斯厄米特粒子滤波算法(GHPF)。该算法采用B样条曲线描述目标轮廓,建立目标运动模型。利用高斯厄米特滤波器产生建议性分布函数,通过实时融入最新的观测数据来逼近系统状态的后验概率,提高了滤波估计的精度。实验仿真结果验证了所提算法的有效性。
新时代对司法警官院校学生党支部工作提出了新要求,而当前学生党支部存在引领能力不强、指挥训练能力不足、管理能力低下、服务意识淡薄、创新能力缺乏等问题,司法警官院校学
研究了一种基于MEMS加速度传感器的倾角指示系统,包括倾角指示系统的工作原理、硬件设计以及软件算法流程。与传统倾角仪相比较,该系统体积小、功耗低。试验结果表明该系统具
本文从分析基层人民银行同级监督机制的现状和制约同级监督机制的主要因素入手,构思同级监督机制的体系设计,提出从组织制度、年度目标、考评机制、社会监督等方面加强新形势
《攻壳机动队》以尖利的视角来审视人类的进化与异化,人类个体的机械化,是与通过创作人型机器人实现造人梦想全然相反的过程,然而两者的目标却是相同的;超越自然的束缚,规避
本文分析了应用型人才培养的特点，通过对《特种加工技术》课程在应用型人才培养教学过程中出现的问题进行分析总结，在教学目标、教学内容、教学方法及考核方式方面提出改革措施