【摘 要】
：
关联缺陷具有不确定性,现有的一些软件测试方法与测试策略难以发现此类缺陷。本文提出了一种面向故障传播路径覆盖的软件测试方法,该方法在分析经验与历史数据的基础上,对缺
【机 构】
：
北京航空航天大学可靠性与环境工程国防重点实验室,中国航天科工集团第三研究院
【基金项目】
：
航天科工联合基金项目——基于模型的实时控制软件需求验证及测试技术(K2370530).
论文部分内容阅读
关联缺陷具有不确定性,现有的一些软件测试方法与测试策略难以发现此类缺陷。本文提出了一种面向故障传播路径覆盖的软件测试方法,该方法在分析经验与历史数据的基础上,对缺陷特征和类型进行推测和归纳,从而培育出能够诱发这些缺陷的种子缺陷,并将其注入到软件代码中。通过设计算法,找到能够激活这些种子缺陷的测试用例,再以得到的测试用例作为输入,激活缺陷并覆盖其传播路径。最终在传播路径上发现潜在的关联缺陷。
其他文献
随着我国经济的高速发展,现代化水平不断提高,建筑行业也取得了较大的发展,建筑施工技术不断创新。建筑结构设计是建筑建设的基础,因此需要保证建筑结构设计的合理性。建筑结
摘要：能力素质模型是解决企业选人、育人、用人和留人难题的有效途径，是发挥企业人力资源，提高企业市场竞争力的重要保障。随着世界经济一体化趋势的加强，市场竞争力与日俱增，企业如何在竞争如此激烈的市场中赢得一席之地，这就需要企业充分发挥人力资源优势，实现能力素质模型在企业人力资源规划、人员招聘、绩效管理和员工培训中的应用。本文主要从能力素质及其能力素质模型分析入手，对能力素质模型在企业人力资源管理中的应
三网融合使得广播电视运营商可以与众多的家庭用户实现信息的实时交互,这使得全方位、个性化的产品营销和有偿服务成为现实。个性化推荐系统作为解决当前大数据时代下信息过
随着科技的不断发展，档案存在的形式现如今不再是拘泥于过去的纸质档案，信息化技术正全面应用档案信息管理中，它突破了时间与空间的限制。
随着我国市场经济迅猛发展，作为企业核心的“人才”引用突显重要。基于这种现状的存在，本文通过对家具企业如何找到合适的人才进行分析研究，侧重分析了其方式方法与优化流程，并为
合理地利用互联网可以提高课堂效率,活跃课堂氛围,更好地实现因材施等。但同时,网络环境下的教学也还存在着许多的问题和困难,比如如何防止错误的信息对学生的干扰,如何准确
当前大学生就业问题已经成为我国经济学和社会学中的重点研究课题,近年来我国少数民族大学生的就业趋势也越来越严峻,而且相关的研究越来越多,本文主要根据南昌少数民族大学
摘要：在新形势电力市场下，新能源行业点多面广，所使用的设备型号并不十分统一，此时增加了电力行业综合管理难度，为了提升电力市场中对新能源设备的管控效果，下面本文就在分析新形势电力市场下新能源集中监管系统大数据运用情况后，分析新能源集中监管系统大数据运用解决方案，以期可以为新能源使用情况的监管使用提供信息化解决方案。 关键词：电力市场；新能源；集中监管系统；大数据 一、新形势电力市场下新能源集中监
本文主要用隐Markov模型(HMM)来研究脱机手写数字识别。本文的内容分为三个部分,第一个部分是介绍HMM的基本理论;第二部分是介绍数字图片的预处理和特征提取,这部分属于图像
股票分析师作为信息中介,通过发布研报的形式提供股票内在投资价值的信息,其行为越发受到广大投资者的关注。由于股票分析师数量众多、研报风格迥异、质量良莠不齐,投资者缺