吴际
- 作品数：107 被引量：618H指数：9
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学文化科学更多>>
- 基于数据链的软件故障定位方法被引量：9
- 2015年
- 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.
- 杨波吴际刘超
- 关键词：故障定位数据流数据链软件测试
- 基于测试集复用的TTCN-3性能测试
- TTCN-3作为标准化的测试语言,已经广泛应用于多种协议的一致性测试,存在很多可用的功能测试集和适配器。如果对其加以复用以进行性能测试,将提高测试开发的效率。构造了性能测试系统框架,提供了TTCN-3性能测试用例的执行环...
- 邱硕吴际金茂忠
- 关键词：测试用例复用
- 基于程序行为累积分析的软件故障定位方法被引量：3
- 2006年
- 软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.
- 贾晓霞吴际金茂忠柳永坡
- 关键词：故障定位
- 基于决策路径的DNN模型鲁棒性测试样本扰动生成方法
- 2025年
- 随着深度神经网络(DNN)内部结构日益复杂化,人们对其内部运行机理很难有直观的了解,模型出错的概率也大大增加,因此需要一种有效的DNN鲁棒性测试方法来解决模型的信任危机,以保证软件系统的可靠性和安全性。现有DNN鲁棒性测试方法多以神经元覆盖率为目标进行扰动样本的生成,并没有引入更多有关模型内部的信息,导致扰动程度过高,且生成的扰动样本存在大量冗余,对模型鲁棒性的提升能力十分有限。为此,提出了基于DNN决策路径的鲁棒性测试样本扰动生成方法(DEPIPE),用待测模型最后一层卷积层构造决策树,对决策树中决策路径涉及的滤波器进行归因分析并求出影响因子,最后利用决策路径和影响因子来指导扰动样本的生成。试验结果表明,所生成的扰动样本在扰动程度上平均比现有更先进的模糊测试方法DLFuzz降低了78%,在扰动的原始样本数量上平均增加27.7%。
- 吴际聂彦凯曹鸿宇樊湘钰孙青杨海燕
- 关键词：鲁棒性测试决策树
- 一种机载设备测试需求生成方法及机载设备测试方法
- 本发明涉及一种机载设备测试需求生成方法及机载设备测试方法，属于机载设备测试技术领域，解决了现有技术中机载设备测试需求存在分歧与误解导致测试失败且测试效率低下的问题。具体包括：确定机载设备测试所需要的信号类型；根据所确定的...
- 吴际胡京徽崔明宝
- Web应用测试模型研究被引量：1
- 2005年
- 本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．
- 李诺吴际金茂忠刘超
- 关键词：WEB应用MDT测试用例
- 适用于SysML、Simulink和AADL的分布式系统的模型验证方法
- 本发明涉及一种适用于SysML、Simulink和AADL的分布式系统的模型验证方法，属于系统集成验证技术领域。该方法包括以下步骤：根据SysML、Simulink和AADL的模型描述文件分别提取模型元素集及相关属性信息...
- 吴际张瑞祥兰可欣杨海燕王宁
- 测试充分性的多维度度量方法及装置
- 本发明涉及一种测试充分性的多维度度量方法及装置，其中方法包括：通过计算机建立测试充分性度量模型；根据所述测试充分性度量模型计算待测软件的各个度量，所述度量至少包括如下一个或多个：软件模块的代码覆盖率分布，需求流程覆盖率分...
- 吴际鲍力杨海燕刘超
- 一种基于本体的RUCM模型一致性检查方法
- 本发明涉及一种基于本体的RUCM模型一致性检查方法，所述方法包括以下步骤：对领域知识进行建模，形成的包含领域概念、领域概念之间关系和领域概念的相关属性的领域本体模型；结合本体库中的核心概念，建立和分析本体库的相关概念到R...
- 刘超胡京徽杨海燕吴际
- 软件复杂性与测试用例集价值被引量：8
- 2002年
- 测试用例集价值是测试用例集的重要问题,本文给出了以复杂性度量为基础的测试用例集合价值度量模型,并在此度量基础上定义了三个重要的度量:测试密度,测试用例价值贡献以及测试用例集合执行相似度,并通过实际的例子指出了如何进行度量.
- 吴际金茂忠刘超
- 关键词：软件测试
