您的位置： 专家智库 > >

国家高技术研究发展计划(2009AA01Z147)

作品数：17 被引量：141H指数：6
相关作者：徐宝文董云卫陈林周毓明董国伟更多>>
相关机构：南京大学西北工业大学东南大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 17篇中文期刊文章

领域

  • 17篇自动化与计算...

主题

  • 3篇软件测试
  • 3篇嵌入式
  • 3篇嵌入式软件
  • 3篇AADL
  • 2篇模态
  • 2篇仿真
  • 1篇代码
  • 1篇单子
  • 1篇应用软件
  • 1篇源代码
  • 1篇软构件
  • 1篇软件体系结构
  • 1篇设计模式
  • 1篇实时监控
  • 1篇体系结构
  • 1篇频谱
  • 1篇切片
  • 1篇切片方法
  • 1篇状态转换图
  • 1篇组态

机构

  • 9篇南京大学
  • 7篇西北工业大学
  • 6篇东南大学
  • 2篇南京航空航天...
  • 1篇北京邮电大学
  • 1篇桂林电子科技...
  • 1篇南京邮电大学
  • 1篇北京航空航天...
  • 1篇苏州大学
  • 1篇西北大学
  • 1篇西安供电局

作者

  • 9篇徐宝文
  • 7篇董云卫
  • 3篇陈林
  • 2篇周毓明
  • 2篇覃杨森
  • 2篇陈振宇
  • 2篇陆伟
  • 2篇马春燕
  • 2篇董国伟
  • 1篇周兴社
  • 1篇朱宇峰
  • 1篇王宇英
  • 1篇钱巨
  • 1篇周晓宇
  • 1篇周吴杰
  • 1篇路晓丽
  • 1篇章晓芳
  • 1篇张德平
  • 1篇张迎周
  • 1篇张凡

传媒

  • 6篇计算机学报
  • 4篇计算机科学
  • 1篇西北工业大学...
  • 1篇科学通报
  • 1篇计算机研究与...
  • 1篇东南大学学报...
  • 1篇计算机工程
  • 1篇计算机与数字...
  • 1篇西安电子科技...

年份

  • 1篇2015
  • 2篇2012
  • 4篇2011
  • 7篇2010
  • 3篇2009
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
通过增大边际权重提高基于频谱的错误定位效率被引量：11
2010年
基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语句,令失败测试用例的权重随着其对该语句覆盖次数的增加而增大.实验结果表明,相对于其它方法,文中提出的方法对错误定位效率有一定的促进作用,即只需检查更少的语句即可找到出错位置.
谭德贵陈林王子元丁晖周毓明徐宝文
关键词：软件测试
一种面向对象的Web Application测试模型被引量：3
2010年
为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究。Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法。提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试。
路晓丽董云卫赵宏斌
关键词：WEB应用软件
一种恢复状态模式的状态转换图的方法
2010年
现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。
尹恒周晓宇
关键词：设计模式状态转换图
基于互信息的无监督特征选择被引量：71
2012年
在数据分析中,特征选择可以用来降低特征的冗余,提高分析结果的可理解性和发现高维数据中隐藏的结构.提出了一种基于互信息的无监督的特征选择方法(UFS-MI),在UFS-MI中,使用了一种综合考虑了相关度和冗余度的特征选择标准UmRMR(无监督最小冗余最大相关)来评价特征的重要性.相关度和冗余度分别使用互信息来度量特征与潜在类别变量之间的依赖和特征与特征之间的依赖.UFS-MI同时适用于数值型和非数值型特征.在理论上证明了UFS-MI的有效性,实验结果也表明UFS-MI可以达到与传统的特征选择方法相当甚至更好的性能.
徐峻岭周毓明陈林徐宝文
关键词：互信息
一种新的布尔规格测试用例生成算法被引量：3
2010年
为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.
李磊芳徐宝文陈振宇章晓芳董国伟
关键词：软件测试测试用例生成
构件化嵌入式软件可靠性预测模型被引量：1
2011年
由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.
李长德周兴社董云卫
关键词：可靠性架构嵌入式软件
变量极小公式复杂性被引量：1
2010年
基于逻辑公式的极小变量集合的需求,研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质.引入等价关键变量和可满足关键变量概念,证明它们的判定复杂性分别为NP-完全和DP-完全.通过等价关键变量和可满足关键变量,分别定义VME和VMS.证明了Unique-SATVMSVMESAT,其中Unique-SAT是具有唯一成真赋值的公式类.进一步证明VME是NP-完全,VMS属于DP且是coNP-难.
陈振宇徐宝文丁德成
一致闭的禁忌交互集生成算法
2015年
组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.
周吴杰张德平徐宝文
基于源代码静态分析的C++0x泛型概念抽取被引量：11
2009年
使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.
陈林徐宝文
关键词：泛型程序设计
基于AADL的软件重构工具设计与实现被引量：1
2011年
模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构。目前,在对VxWorks系统下C程序的AADL架构进行模态的提取和蓝图制定过程中,还没有现成的工具。因而,设计一个基于AADL架构的软件重构工具将给软件架构的重构提供更大的帮助。为了搭建起基于AADL架构的软件重构可扩展工具平台,在Eclipse开源开发环境下,设计了SRM2(Software Reconfiguration Middleware based onMode)插件工具。SRM2工具主要完成对C程序的AADL架构的扫描进而描述程序架构的静态蓝图信息,以及结合代码(探针设计和植入)在VxWorks系统下的运行信息生成动态蓝图,从而指导软件的重构。
李龙董云卫覃杨森张凡
关键词：模态AADL
全选 清除 导出
共2页<12>
聚类工具0