您的位置： 专家智库 > >

国家自然科学基金(60633010)

作品数：24 被引量：118H指数：6
相关作者：徐宝文聂长海蔡开元周毓明郭君红更多>>
相关机构：东南大学北京航空航天大学中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家杰出青年科学基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 23篇期刊文章
  • 2篇会议论文

领域

  • 25篇自动化与计算...
  • 1篇电子电信

主题

  • 6篇软件测试
  • 5篇面向对象
  • 4篇英文
  • 4篇测试用例
  • 2篇软件工程
  • 2篇切片
  • 2篇面向对象程序
  • 2篇控制软件
  • 2篇交叉熵
  • 2篇交叉熵方法
  • 2篇飞行
  • 2篇飞行控制
  • 2篇飞行控制软件
  • 2篇APPROA...
  • 2篇插桩
  • 2篇插桩技术
  • 1篇单子
  • 1篇动态调整算法
  • 1篇动态系统
  • 1篇形式化

机构

  • 13篇东南大学
  • 5篇北京航空航天...
  • 2篇南京大学
  • 2篇南京航空航天...
  • 2篇中国科学院软...
  • 1篇南京邮电大学
  • 1篇香港理工大学
  • 1篇中国科学院研...

作者

  • 12篇徐宝文
  • 5篇周毓明
  • 5篇蔡开元
  • 5篇聂长海
  • 3篇白成刚
  • 3篇郭君红
  • 2篇曹璟
  • 2篇屈波
  • 2篇张德平
  • 2篇李跃飞
  • 1篇李言辉
  • 1篇钱巨
  • 1篇陈林
  • 1篇王鹏
  • 1篇史亮
  • 1篇康达周
  • 1篇李永超
  • 1篇张迎周
  • 1篇苏亮
  • 1篇郑征

传媒

  • 4篇计算机学报
  • 4篇Journa...
  • 4篇Wuhan ...
  • 2篇北京航空航天...
  • 2篇计算机科学
  • 1篇计算机研究与...
  • 1篇东南大学学报...
  • 1篇计算机工程
  • 1篇控制理论与应...
  • 1篇中国科学（E...
  • 1篇山东大学学报...
  • 1篇中国科学：信...

年份

  • 1篇2013
  • 2篇2010
  • 9篇2009
  • 11篇2008
  • 2篇2007
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于依赖结构分析的类重要性度量方法被引量：8
2008年
为支持自动识别系统中重要的类,提出了一种基于软件依赖结构分析的类重要性度量方法.该方法首先用一个图模型表达类之间的3种依赖关系,包括类-类继承依赖、类-属性交互依赖和类-方法交互依赖,然后用PageRank,HITS和Betweenness Centrality算法通过对依赖关系结构的全局分析来度量类的重要性.该方法仅使用在软件开发的分析和设计阶段可以得到的信息,因而可用来在软件开发的早期识别系统中重要的类.实验结果表明,在识别重要的类时,该方法产生与简单方法不同的结果.
周毓明徐宝文
关键词：面向对象
基于隶属度比较的描述逻辑SHOIQ模糊扩展被引量：3
2013年
语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.
康达周徐宝文李言辉
关键词：模糊描述逻辑知识表示
一种基于监控理论的软件设计方法:状态性质变换方法被引量：2
2007年
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。
王向云张文辉王鹏李永超蔡开元
关键词：反应式系统软件设计离散事件动态系统
使用复合蜕变关系进行软件测试的实例研究(英文)被引量：1
2008年
蜕变测试时经常会出现蜕变关系检错能力低下的情况.基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系.复合蜕变关系可以把原关系的优点综合起来,具有更强的检错能力.此外,由于将蜕变关系复合后关系数量减少,所以当使用它测试程序时,生成测试用例的数量会大幅度降低.通过2个实例对复合蜕变关系的测试性能进行研究,实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系,以及关系复合的顺序.使用复合蜕变关系可以极大地提高测试效率.
董国伟徐宝文陈林陈林聂长海
关键词：软件测试
补充生成测试用例的优先级设定与动态调整算法被引量：2
2009年
测试用例优先级技术是一种实用高效的回归测试技术,然而现有各种优先级技术均围绕待复用的测试用例集,忽视了对补充生成测试用例的优先级设定和调整方法的讨论.针对这一问题,在现有研究基础上提出一种面向补充生成测试用例优先级的设定与动态调整方法,讨论这种方法在并行环境下的应用问题,最后通过一个实例研究表明:新方法能够有效地提高补充生成测试用例的使用效率.
屈波徐宝文聂长海
飞行控制软件测试中的插桩技术被引量：6
2009年
插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.
李跃飞郭君红白成刚蔡开元
关键词：插桩软件测试飞行控制软件实时性
A Reliability Improvement Predictive Approach to Software Testing with Bayesian Method
The capability of improving software reliability is one of the main objectives of software testing.However,the...
BAI Cheng-Gang,JIANG Chang-Hai,CAI Kai-Yuan National Key Laboratory of Science and Technology on Holistic Control Department of Automatic Control,Beihang University,Beijing 100191,P.R.China
文献传递
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析(英文)
2008年
用在设计阶段可以收集到的3个规模度量分析类规模对面向对象度量与易维护性之间关联关系的混和效果.为得到尽可能通用的结论,在127个C++系统和113个Java系统上分析类规模的混和效果.首先,对每个面向对象度量,在单个系统上计算代表由类规模造成的关联扭曲的间接效果和它的方差.然后,利用统计的元分析方法计算这些系统上的平均间接效果并判断它是否显著地区别于零.实验结果表明,不论使用哪个类规模度量进行分析,类规模对面向对象度量与易维护性之间关联关系的混和效果通常是存在的.因此,验证面向对象度量与易维护性之间关系的实验研究应将类规模视为一个混和变量.
卢红敏周毓明徐宝文
关键词：面向对象
网络服务可靠性与运行剖面变化率有关吗被引量：3
2008年
与传统软件相比,网络服务的运行环境发生了重大变化.网络服务运行环境不是封闭的而是开放的.开放运行环境下的运行剖面更为复杂和难以预测.其中运行剖面的时变性是开放运行环境下运行剖面的一个重要的特点.因为软件可靠性和运行剖面具有密切的关系,运行剖面模式的这种改变势必对可靠性有所影响.一个自然的假设是:网络服务的可靠性不仅与其当前运行剖面有关,还应与运行剖面的变化率有关.作为研究的第一步,通过一个现实的网站数据初步探讨了网络服务可靠性与运行剖面变化率的关系,并通过独立性假设检验方法得出了网络服务可靠性与运行剖面变化率在统计意义上是显著性相关的结论.
白成刚苏亮赵迎春郭君红蔡开元
关键词：网络服务软件可靠性评估
基于路径分析的死循环检测被引量：7
2009年
提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高.
阮辉严俊张健
关键词：死循环测试数据
全选 清除 导出
共3页<123>
聚类工具0