您的位置： 专家智库 > >

吴际

作品数：106 被引量：546H指数：9
供职机构：北京航空航天大学计算机学院更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术理学文化科学更多>>

合作作者

文献类型

  • 53篇期刊文章
  • 38篇专利
  • 13篇会议论文
  • 1篇学位论文

领域

  • 74篇自动化与计算...
  • 4篇航空宇航科学...
  • 4篇理学
  • 3篇文化科学
  • 2篇一般工业技术
  • 1篇石油与天然气...
  • 1篇电子电信

主题

  • 12篇测试用例
  • 10篇元模型
  • 10篇软件测试
  • 10篇WEB应用
  • 9篇TTCN-3
  • 8篇性需求
  • 8篇自动化
  • 8篇分布式
  • 8篇安全性
  • 8篇安全性需求
  • 8篇WEB应用测...
  • 7篇机载
  • 7篇分布式测试
  • 6篇语言描述
  • 6篇软件工程
  • 6篇自然语言
  • 6篇自然语言描述
  • 6篇建模方法
  • 5篇信号
  • 5篇逆向工程

机构

  • 105篇北京航空航天...
  • 6篇北京天创凯睿...
  • 5篇北方工业大学
  • 4篇北京城市学院
  • 4篇北京工业大学
  • 3篇西安航空计算...
  • 3篇青岛农业大学
  • 2篇北京林业大学
  • 2篇东北石油大学
  • 2篇西南通信研究...
  • 2篇华北计算技术...
  • 2篇中航工业西安...
  • 2篇中国航空工业...
  • 1篇哈尔滨工程大...
  • 1篇北京邮电大学
  • 1篇北京科技大学
  • 1篇中国科学院软...
  • 1篇北京控制与电...
  • 1篇中国航空工业...
  • 1篇高等教育出版...

作者

  • 105篇吴际
  • 39篇杨海燕
  • 37篇刘超
  • 22篇刘超
  • 21篇金茂忠
  • 12篇柳永坡
  • 8篇贾晓霞
  • 7篇徐珞
  • 6篇李诺
  • 4篇杨波
  • 4篇鲍力
  • 3篇刘雪梅
  • 3篇黄陇
  • 3篇牛文生
  • 3篇刘霜梅
  • 2篇高仲仪
  • 2篇夏晓凯
  • 2篇张莹
  • 2篇王鑫
  • 2篇杨波

传媒

  • 11篇计算机科学
  • 8篇北京航空航天...
  • 5篇软件学报
  • 4篇电子学报
  • 4篇计算机工程与...
  • 3篇计算机学报
  • 3篇计算机工程
  • 2篇计算机研究与...
  • 2篇计算机教育
  • 2篇2008全国...
  • 1篇系统工程与电...
  • 1篇南京大学学报...
  • 1篇计算机工程与...
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇中文信息学报
  • 1篇哈尔滨工程大...
  • 1篇石油地球物理...
  • 1篇软件导刊
  • 1篇计算机科学与...

年份

  • 2篇2023
  • 1篇2022
  • 2篇2021
  • 6篇2020
  • 6篇2019
  • 13篇2018
  • 11篇2017
  • 8篇2016
  • 6篇2015
  • 3篇2014
  • 5篇2013
  • 2篇2012
  • 5篇2011
  • 5篇2010
  • 3篇2009
  • 4篇2008
  • 6篇2007
  • 7篇2006
  • 3篇2005
  • 3篇2003
共 106 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于数据链的软件故障定位方法被引量：9
2015年
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.
杨波吴际刘超
关键词：故障定位数据流数据链软件测试
基于测试集复用的TTCN-3性能测试
TTCN-3作为标准化的测试语言,已经广泛应用于多种协议的一致性测试,存在很多可用的功能测试集和适配器。如果对其加以复用以进行性能测试,将提高测试开发的效率。构造了性能测试系统框架,提供了TTCN-3性能测试用例的执行环...
邱硕吴际金茂忠
关键词：测试用例复用
文献传递
基于程序行为累积分析的软件故障定位方法被引量：3
2006年
软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.
贾晓霞吴际金茂忠柳永坡
关键词：故障定位
一种机载设备测试需求生成方法及机载设备测试方法
本发明涉及一种机载设备测试需求生成方法及机载设备测试方法，属于机载设备测试技术领域，解决了现有技术中机载设备测试需求存在分歧与误解导致测试失败且测试效率低下的问题。具体包括：确定机载设备测试所需要的信号类型；根据所确定的...
吴际胡京徽崔明宝
文献传递
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年
测试用例集价值是测试用例集的重要问题,本文给出了以复杂性度量为基础的测试用例集合价值度量模型,并在此度量基础上定义了三个重要的度量:测试密度,测试用例价值贡献以及测试用例集合执行相似度,并通过实际的例子指出了如何进行度量.
吴际金茂忠刘超
关键词：软件测试
一个基于下推自动机的Web测试自动执行器被引量：3
2006年
随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机的 Web 测试自动执行器,并实现了其原型系统。该执行器支持测试用例的自动执行并给出测试结果报告,并通过 Web 应用测试实例验证了其有效性。
贾晓霞刘昶吴际柳永坡金茂忠刘超
关键词：下推自动机WEB测试
全选 清除 导出
共11页<12345678910>
聚类工具0