【摘 要】
：
关联矩阵测试用例约简在软件测试中具有重要的作用,可以提高测试效率,降低测试成本。本文提出了基于路径关键状态变量的测试用例约简方法,该方法通过抽象语法树获取关键状态
【机 构】
：
上海理工大学光电信息与计算机工程学院
【基金项目】
：
国家自然科学基金(61803264)
论文部分内容阅读
关联矩阵测试用例约简在软件测试中具有重要的作用,可以提高测试效率,降低测试成本。本文提出了基于路径关键状态变量的测试用例约简方法,该方法通过抽象语法树获取关键状态变量信息,并基于该信息构建测试用例关联矩阵,最后根据约简准则来判断该测试用例是否可以被约简。本文选取了西门子测试用例集中四个程序进行了实验,实验结果表明,基于路径的关键状态变量测试用例约简方法可以在保证原有测试用例集测试效率的情况下,有效地减少原测试用例集的数量。
其他文献
进入到 21 世纪以来,计算机技术已经成为了当代社会发展不可缺少的重要技术,随着计算机技术的不断普及,各行各 业都会涉及到计算机操作,为了保证计算机的应用效率,在计算机的
微博上存在大量垃圾评论,这些垃圾评论会带来不良影响,如何识别垃圾评论就成为人们关注的热门。本文针对监督学习框架下大规模标注数据集难以获得和垃圾评论识别不精准的问题
近年来,全球大气污染极其严重。而造成大气污染很大程度上是因为工业废气污染。为了降低和削弱大气污染中工业 有机废气的影响,本文对我国工业有机废气污染进行了概述,并提出
传统的监控只实现了记录功能,不能准确识别密集场景中的人群数量,人群骚乱,拥挤等异常事件;同时现有的智能系统对环境适应性差,数据分散,场景理解受阻,缺乏自主性。为了解决这些问题,本文将深度学习和机器学习算法应用于监控安防领域,解决传统监控领域完全依赖于人的主观性的问题,将目标检测算法和密度估计算法相结合,各取优势,实现人流量统计与异常事件预警;使用回归模型对下一段时间的人数变化进行预测;并搭建了边云
社会主义法治国家建设需要大量法律人才的支持,由于我国法律人才培育模式较为单一,培育出的法律人才理论知识 和实践能力脱钩,实践能力有待提升,其不符合市场的需求和期待。
为了研究GJ-3型扣件的强度性能和频率参数,本文以现有线路中的GJ-3型扣件为研究对象,建立GJ-3型扣件的仿真分析模型,对其在模拟轮轨力的情况下进行静刚度仿真,得到仿真横向刚
会议考勤的手段多种多样,比如一卡通、人脸识别等。一卡通不能防止别人代替刷卡,而人脸识别成本高昂,对于经济薄弱的中小单位来说,付出的代价太大。本文提出通过小程序的方式
随着交换技术的快速更迭,软交换技术已逐渐替代程控交换技术,并在地铁通信公务电话系统中应用。本文基于软交换技术的特点、结构,分析了武汉地铁公务电话系统的组网方式,立足
本文针对车内振动问题,对压电分流电路与薄板组成的压电结构进行动力学分析,建立动力学微分方程,求解得到薄板结构的传递函数并确立目标函数;之后利用模拟退火算法,对目标函
公共卫生是一个长期的问题。在城市卫生设施建设中,要坚持科学规划、分阶段建设的原则,确保公共卫生基础设施 的合理运行,并做好后续维护工作。此外,在新基建的背景下,城市公