软件参数取值与时序联合故障定位技术研究

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:snowbang1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
组合测试是实现高覆盖率测试的有效方法,可以用尽可能少的测试用例实现高的测试覆盖率,在组合测试中,在已知部分测试用例集运行结果时,如何能够根据引发系统故障的测试用例进行快速有效的定位故障是一个重要的问题,研究组合测试快速故障定位技术有助于帮助测试人员找寻故障来源并进行有效的修正以实现被测系统的改进。嵌入式软件的输入具有时序特性,包括输入参数次序以及参数的注入时刻,其中注入时刻是包含输入次序的,输入次序仅考虑时间上的先后顺序,时序要求较低,而注入时刻比较复杂时序要求更高。本课题针对输入参数注入时刻时序特性,提出取值与时刻联合覆盖数组故障定位算法。针对较大规模联合覆盖数组的优先级排序问题提出了基于机器学习的测试用例集优先排序方法。为实时性嵌入式系统高可靠性验证提供基础保障。针对具有取值与时刻联合覆盖要求的嵌入式软件系统时序测试用例故障定位,提出了一种针对取值与时刻联合覆盖数组的故障定位算法。通过进行索引伪安全值组计算,确定非确定交互集,并用自适应替换策略生成附加测试用例,多次迭代计算生成索引安全值组,实现取值与时刻联合数组联合故障定位。联合覆盖数组在规模较大时,在测试成本有限情况下,难以全部运行测试用例集的问题,设计了针对部分测试结果的部分测试用例集的故障定位算法,对于取值组合故障选定符合特定标准的正确用例作为定位用例集,采用循环累加替换策略实现左右故障因子的定位;对于联合故障,首先进行故障测试用例所含故障类型分类,依据取值、时刻组合故障采用部分循环累加替换策略,联合故障执行索引值循环累加替换策略,实现部分测试用例集的故障定位。针对较大规模的测试覆盖数组执行过程中将花费大量的时间和成本的问题。为了在有限测试成本下选择能够保证更高故障检测率的测试用例子集。提出了一种基于支持向量机的组合测试用例优先排序方法。首先对一个低力度覆盖数组的测试结果使用支持向量机进行训练,并依据训练结果预测一个同输入参数高力度覆盖数组,其次对高力度覆盖数组的较少部分测试结果数据进行训练,预测该覆盖数组的其余部分。根据预测结果对覆盖数组中的测试用例进行排序。将预测结果会导致被测系统故障的测试用例提前排序。从排序后的有序覆盖数组中选择子集,可以合理地替换整个覆盖数组,节省测试成本。在此基础上提出了迭代学习迭代分类排序方法,结果表明生成的有序覆盖数组子集可以实现覆盖更多的故障交互。基于以上算法,开发了故障定位工具,该工具可以实现联合故障定位、部分测试用例集的故障定位,并搭建了复杂嵌入式软件高覆盖率平台,验证本文算法在实际半实物仿真系统中进行组合测试取值与时刻联合故障定位、部分测试用例集的故障定位的有效性。
其他文献
表观遗传修饰是调节体内基因表达的重要途径之一。DNA甲基化是最广为人知的表观遗传修饰,在疾病的发病和发展中起着重要作用,特异性异常DNA甲基化是公认的癌症标志。通过整合和挖掘高通量微阵列和测序技术产生的DNA甲基化数据帮助研究者发现新的候选疾病生物标志物。所以提供一个全面的人类疾病DNA甲基化存储库是很有必要的,因此,本课题开发了人类DNA疾病甲基化数据库(Diseasemeth3.0),旨在呈现
装配式建造作为一种新型的建造方式,其装配式施工特点能够有效提高施工效率,缩减工期,优化供应链资源,是我国建筑行业升级转型的重要方向,有利于我国建筑业可持续发展。目前,我国的装配式建筑正处于快速发展时期,在政府的积极推动下,装配式建造技术与相应管理知识正在不断创新,知识网络的及时更新是保证行业创新技术得以推广的重要支撑。近几年,随着我国装配式建筑项目的不断落成,市场上从事装配式建筑建造项目管理的企业
近年来,车联网的不断发展为智能交通系统、车辆协同决策与控制、安全高效的交通出行等提供了新的技术手段。但随着网联车辆渗透率的提高,如何全面发挥智能网联优势使得车辆全面协同控制管理是研究趋势所在,同时网联环境下交通环境复杂性也逐步增加,交通安全、车辆运行控制是未来交通发展亟需研究的问题,以满足车联网可持续发展的适应性要求。作为交通瓶颈之一的匝道合流区,其高效运行关系到整个道路系统的运行质量,利用车联网
随着我国对生态环境保护问题逐步提高重视程度,提高生态系统生产总值的管理水平,加快建立健全货币化的生态补偿制度,以货币化手段进行生态权益交易,保障生态相关主体的利益,成为我国近年来在量化方面建立健全生态环境保护制度的探索。在这种趋势下,探索多元化生态补偿模式,提高对各类利益相关者权益的整体性保护水平,切实建立健全污染权属管理制度成为我国在生态环境保护和污染治理方面的重要发展趋势。随着《国务院关于落实
微小球体是众多工程领域极其重要的元器件形态,其表面精度是衡量其质量和可靠性的重要指标之一。高精度的微小球体表面缺陷检测方法的检测效率通常较低,而且对检测环境要求严格,因此,微小球体表面缺陷检测方法的高效率、高精度、高环境适应性成为目前该领域研究的瓶颈问题。为满足我国国防、军事、工业制造等领域对微小球体表面高精度检测的需要,同时针对现有方法存在的主要问题,本文设计了一种暗场成像结合移相干涉的微小球体
生态文明建设作为十八大重点推进的战略措施,其建设的目标随着时间进程的推进,已经从对环境控制量的关注逐渐延伸至对环境影响要素质的内涵分析。同时新一轮国土空间规划的推进,县域城镇自然资源整合促使人们对于县域城镇空间的碳活动越发关注,本文从碳效益角度着手,通过指标体系的形式对县域城镇空间内的各项碳活动进行多维度辨析。目前国内外缺乏对于城镇空间的碳效益概念界定与相关实例,但对于碳相关类的城市指标体系研究较
以视觉传感器为核心的同步定位与地图构建技术(Visual SLAM)是移动机器人的关键技术,使机器人能够在未知环境中估计自身运动和构建环境模型,是对移动机器人进行深入研究和应用的重要前提。当前基于几何的传统视觉SLAM方法将工作环境限定为静态场景,当受到动态物体干扰时会出现较大的定位漂移和建图拖影、畸变;基于语义信息的视觉SLAM方法通过训练神经网络对动态物体进行检测和移除,消除了如行人、车辆等常
工程项目是投资项目里较为重要的一种,包括投资与建设行为的项目决策和执行活动。工程项目管理的实质是运用系统工程的观点、理论和方法,实现对工程建设进行全过程和全方位的管理,以达到工程项目的最终目标。工程项目管理策略的研究有利于工程项目顺利高效地进行,研究以哈尔滨君安消防智能化工程有限公司(以下简称君安公司)为研究对象,对君安公司的工程项目管理策略进行研究。在研究中,首先对工程项目管理策略的相关理论进行
车辆轨迹预测已经成为众多领域的热点研究问题。对于个体出行者而言,车辆轨预测可以辅助优化出行者的出行路线,做出最佳出行决策,规避交通拥堵路段,提高出行效率,降低出行成本,同时也能提升出行者的驾乘体验。对于交通系统而言,车辆轨迹预测可以提前感知未来一段时间内的交通运行状态和发展趋势,为交通系统的运行状态优化提供依据,从而缓解整个交通系统的拥堵问题,促进交通系统高效、健康、可持续地发展。与此同时,随着城
在活体细胞成像领域,光学显微技术以其无损、非接触成像的性质在众多方法中脱颖而出,而光学衍射极限的存在限制了其成像分辨率。为了实现对更小尺寸细胞及亚细胞级别生物样品的观察,提高光学显微技术成像分辨率具有重要意义。共焦显微技术在轴向层析能力方面具有独特的优势,但其横向分辨率仅限于普通宽场显微技术的1.4倍,现有改进方法都存在诸多局限性。本课题针对共焦显微技术横向分辨率低的问题,从空间谱估计理论角度出发