您的位置: 专家智库 > >

徐宝文

作品数:272 被引量:1,910H指数:25
供职机构:南京大学更多>>
发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术文化科学军事理学更多>>

文献类型

  • 190篇期刊文章
  • 54篇专利
  • 15篇科技成果
  • 12篇会议论文
  • 1篇学位论文

领域

  • 225篇自动化与计算...
  • 6篇文化科学
  • 3篇军事
  • 2篇理学
  • 1篇经济管理
  • 1篇文学

主题

  • 40篇软件测试
  • 35篇测试用例
  • 21篇面向对象
  • 19篇程序设计
  • 17篇代码
  • 13篇搜索
  • 13篇ADA
  • 12篇程序切片
  • 12篇WEB服务
  • 11篇软件工程
  • 10篇测试用例生成
  • 9篇引擎
  • 9篇用户
  • 9篇搜索引擎
  • 9篇索引
  • 9篇描述逻辑
  • 8篇聚类
  • 8篇ADA95
  • 7篇插桩
  • 6篇语法树

机构

  • 183篇东南大学
  • 110篇南京大学
  • 24篇武汉大学
  • 19篇南京航空航天...
  • 10篇南京邮电大学
  • 10篇解放军理工大...
  • 7篇江苏苏测软件...
  • 4篇扬州大学
  • 3篇国防科学技术...
  • 3篇金陵科技学院
  • 3篇中国矿业大学
  • 3篇南京邮电学院
  • 3篇计算机软件新...
  • 2篇北京信息工程...
  • 2篇南京建筑工程...
  • 2篇北京航空航天...
  • 2篇南京信息工程...
  • 2篇中国科学院软...
  • 2篇上海市计算机...
  • 1篇河海大学

作者

  • 272篇徐宝文
  • 54篇许蕾
  • 49篇陈林
  • 37篇聂长海
  • 30篇周毓明
  • 28篇李言辉
  • 24篇周晓宇
  • 23篇张卫丰
  • 21篇史亮
  • 17篇陆建江
  • 15篇卢红敏
  • 14篇张德平
  • 14篇陈振宇
  • 13篇康达周
  • 12篇钱巨
  • 10篇陈振强
  • 6篇黄曙萍
  • 6篇姜淑娟
  • 6篇周天琳
  • 6篇王子元

传媒

  • 34篇计算机学报
  • 28篇计算机科学
  • 24篇软件学报
  • 18篇Journa...
  • 17篇计算机研究与...
  • 16篇东南大学学报...
  • 8篇小型微型计算...
  • 6篇计算机与数字...
  • 6篇计算机科学与...
  • 5篇电子学报
  • 5篇计算机工程与...
  • 4篇全国第五次程...
  • 2篇微电子学与计...
  • 2篇南京建筑工程...
  • 2篇武汉大学学报...
  • 2篇指挥控制与仿...
  • 2篇中国科学:信...
  • 2篇全国语域we...
  • 1篇科学通报
  • 1篇南京大学学报...

年份

  • 1篇2023
  • 4篇2022
  • 1篇2021
  • 5篇2020
  • 3篇2019
  • 9篇2018
  • 8篇2017
  • 3篇2016
  • 14篇2015
  • 12篇2014
  • 10篇2013
  • 9篇2012
  • 10篇2011
  • 9篇2010
  • 20篇2009
  • 27篇2008
  • 14篇2007
  • 20篇2006
  • 16篇2005
  • 14篇2004
272 条 记 录,以下是 1-10
排序方式:
多因素工业系统的故障快速识别方法
本发明公开了一种多因素工业系统的故障快速识别方法,该方法首先确定待测试的多因素工业系统的测试用例集Ts,然后用Ts中的测试用例对系统进行测试,运行时发生故障的测试用例组成集合Ts1,其特征在于通过对比Ts1中测试用例,从...
聂长海徐宝文
文献传递
FORTRAN 2000异常处理机制的研究
2004年
异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性。
鞠小林徐宝文
关键词:程序设计语言FORTRAN异常处理机制程序代码
一种C++程序中无用对象的检测方法被引量:1
2000年
面向对象程序中无用对象的存在降低了程序的可读性 ,浪费了系统的存储空间 ,在运行时又降低了程序的运行速度 .本文通过对 C++程序中对象之间的关系进行分析 ,提出了一个利用可达性分析来检测程序中无用对象的方法 .
张卫丰徐宝文
关键词:面向对象C++语言程序设计
Meta-analysis of potentially confounding effect of class size on associations between object-oriented metrics and maintainability
2008年
This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented(OO)metrics and maintainability.To draw as many general conclusions as possible,the confounding effect of class size is analyzed on 127 C++ systems and 113 Java systems.For each OO metric,the indirect effect that represents the distortion of the association caused by class size and its variance for individual systems is first computed.Then,a statistical meta-analysis technique is used to compute the average indirect effect over all the systems and to determine if it is significantly different from zero.The experimental results show that the confounding effects of class size on the associations between OO metrics and maintainability generally exist,regardless of whatever size metric is used.Therefore,empirical studies validating OO metrics on maintainability should consider class size as a confounding variable.
卢红敏周毓明徐宝文
关键词:OBJECT-ORIENTEDVALIDATIONCONFOUNDINGMAINTAINABILITY
元分析技术及其在软件工程中的应用被引量:1
2012年
从单个实验研究中很难得到可靠的实验结论,因此需要统计的方法将多个实验研究中的结果进行合并。首先,介绍将多个实验结果进行合并的统计元分析技术。然后,阐述元分析在软件工程研究中的重要意义以及当前的应用现状。最后,分析并总结其中存在的问题。
卢红敏许蕾徐宝文
关键词:随机效应模型固定效应模型
一种基于聚类不变式分析的错误定位方法
一种基于聚类不变式分析的错误定位方法,基于程序执行的不变式分析技术,收集程序执行过程中的语句频谱信息进行聚类,对各个类簇分别计算与变量相关的不变式;之后进行新的程序执行,根据新的执行所具有的程序频谱将其划分至某个聚类中,...
陈林吴迪许蕾徐宝文
文献传递
支持模糊隶属度比较的扩展模糊描述逻辑被引量:10
2008年
语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理.
康达周徐宝文陆建江李言辉
关键词:语义WEB知识表示描述逻辑
一种并发程序可测试性分析框架被引量:7
2003年
软件可测试性是对测试软件难易程度的预测 ,在测试、度量等许多领域中得到了广泛应用 .由于并发程序执行的不确定性 ,其可测试性分析尚有很多难点有待解决 .该文提出了一种并发程序可测试性分析框架 .在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上 ,从单个并发单元、并发因素、共享变量因素及通信关系 4个方面对并发程序的可测试性进行了分析 ,为综合度量并发程序的可测试性提供了依据 .
陈振强徐宝文许蕾张斌
关键词:并发程序软件测试软件开发
一种基于敏感行为识别的安卓应用安全性分析方法
本发明提供了一种基于安卓应用源代码敏感行为识别的安卓应用安全性分析方法,包括下列步骤:1)源代码的获取与分析;2)敏感行为的获取;3)UI文本的提取;4)敏感行为数据的处理;5)特征值的选取;6)训练数据集的构成;7)安...
许蕾缪小川李言辉徐宝文
文献传递
TPython:一种扩充的Python语言被引量:1
2009年
Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
余超周天琳周晓宇陈林徐宝文
关键词:PYTHON解释器动态语言
共28页<12345678910>
聚类工具0