位置：成果数据库 > 期刊 > 期刊详情页
基于源代码静态分析的C++0x泛型概念抽取
  • ISSN号：0254-4164
  • 期刊名称：计算机学报
  • 时间：0
  • 页码：1792-1803
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]东南大学计算机科学与工程学院,南京210096, [2]南京大学计算机软件新技术国家重点实验室,南京210093, [3]南京大学计算机科学与技术系,南京210093
  • 相关基金：本课题得到国家自然科学基金重大研究计划（90818027）与重点项目（60633010）、国家“八六三”高技术研究发展计划目标导向类项目（2009AA01Z147）资助.
  • 相关项目：面向软件可信性演进的软件测试技术研究
作者： 陈林 徐宝文|
关键词： 泛型程序设计, 软件重构, 泛型概念, C++0x, 约束分析, generic programming , software refactoring , Concept , C＋＋ 0x, constraint analysis
中文摘要：

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础．在新的C＋＋0x标准中泛型概念将成为一个新的语言设施，这将为设计可复用、可扩展的泛型软件提供坚实的基础．为了更好地利用C＋＋0x的新特性，有必要识别C＋＋遗产代码中的泛型概念，并通过重构得到符合C＋＋0x标准的代码．文中提出了一种基于代码静态分析的泛型概念自动识别方法，通过对泛型程序中类型参数的使用分析，从遗产代码中提取有效表达式约束和关联类型约束，进而推导出泛型概念．将该方法应用于C＋＋标准模板库STL，可以识别出STL算法中绝大部分潜在的泛型概念，表明该方法有助于识别遗产代码中的泛型概念．

英文摘要：

Using Concepts to abstract domain knowledge is the basis for generic programming. Concept will be a new language feature in C＋＋0x, which provides solid base for developing reusable and extendable generic software. To make better use of new generic programming features of C＋＋0x, it is necessary to identify Concepts in legacy C＋＋ programs, and refactor them to C＋＋0x programs. This paper presents an automatic method to identify Concepts with static analysis, analyzes the usages of type parameters in legacy programs to extract valid expression constraints and associate type constraints. Concepts can be inferred by these constraints. The approach is applied to the C＋＋ Standard Template Library to identify most of the potential Concepts in STIr. The study convinces that this method is helpful to identify Concepts in legacy C＋＋ programs.

同期刊论文项目
面向软件可信性演进的软件测试技术研究
期刊论文 76 会议论文 27
高可信软件的测试与评估
期刊论文 88 会议论文 47
同项目期刊论文
Testing and validating machine learning classifiers by metamorphic testing
Coverage criteria and test requirement reduction for component-based web application
通过增大边际权重提高基于频谱的错误定位效果
Recusive constructions for the t-covering arrays
基于One-test-at-a-time策略的可变力度组合测试用例生成方法
组合测试数据生成的交叉熵与粒子群算法及比较
Finding shrink critical section refactoring opportunities for the evolution of trustworthy software
Automatic identification of use cases from codes: A user's goal driven approach
一种新的重构语义分析方法及其应用
一种基于类型传播分析的泛型实例重构方法
基于客户程序度量包内聚性(英文)
基于形态分析识别设计模式中的集中管理式聚集
含指针程序的单子切片方法
变量极小公式复杂性
一种新的布尔规格测试用例生成算法
一种基于信息量的缺陷定位方法
Slicing Java Generic Programs Using Generic System Dependence Graph
Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration
软件可靠性评估的重要抽样方法
元分析技术及其在软件工程中的应用
用户需求驱动的Web服务测试
基于组合测试的软件故障定位的自适应算法
基于部分覆盖表的错误交互定位方法
一种基于模型结合的错误定位方法
基于互信息的无监督特征选择
基于完备抽象解释的模型检验CTL公式研究
基于程序路径分析的有效蜕变测试
一致闭的禁忌交互集生成算法
一种恢复状态模式的状态转换图的方法
Walsh函数在组合测试中的应用
通过增大边际权重提高基于频谱的错误定位效率
基于组件Web应用程序的覆盖率准则和测试需求约简（英文）
面向路径覆盖的演化测试用例生成技术
基于客户程序度量包内聚性
重构C＋＋程序物理设
朴素模糊描述逻辑知识库构造及其朴素推理
回归测试中测试用例优先级技术研究综述
Automatic identification of use cases from codes: A user's goal driven approach
一种基于类型传播分析的泛型实例重构方法
基于形态分析识别设计模式中的集中管理式聚集
Mathematical modeling of software reliability testing with imperfect debugging
含指针程序的单子切片方法
基于匈牙利匹配算法的钓鱼网页检测方法
On the ability of complexity metrics to predict fault-prone classes in object-oriented systems
一种新的布尔规格测试用例生成算法
Software execution processes as an evolving complex network
Supervisory control of discrete event systems with state-dependent controllability
重构C++程序物理设计(英文)
AN INTELLIGENT CONTROL ARCHITECTURE FOR ADAPTIVE SERVICE-BASED SOFTWARE SYSTEMS
基于路径分析的死循环检测
Slicing Java Generic Programs Using Generic System Dependence Graph
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration
ON THE DEGREE SEQUENCE OF AN EVOLVING RANDOM GRAPH PROCESS AND ITS CRITICAL PHENOMENON
基于SAT求解的面向对象程序类型分析
测试资源受约束的安全关键软件加速测试方法
面向路径覆盖的演化测试用例生成技术(英文)
软件可靠性评估的重要抽样方法
补充生成测试用例的优先级设定与动态调整算法
蜕变测试技术综述
The BA model with finite-precision preferential attachment
AN IMPROVED APPROACH TO ADAPTIVE TESTING
Examining the potentially confounding effect of class size on the associations between object-orient
On the Trend of Remaining Software Defects Estimation
一种基于测试需求约简的测试用例集优化方法
组合测试：原理与方法
An experimental study of adaptive testing for software reliability assessment
Case studies on testing with compositional metamorphic relations
Refining and verifying regular Petri nets
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析(英文)
A backtracking search tool for constructing combinatorial test suites
基于Markov决策过程用交叉熵方法优化软件测试
基于测试用例设计信息的回归测试优先级算法
网络服务可靠性与运行剖面变化率有关吗
关于软件可靠性测试的若干问题
Handling resource sharing problem using property-preserving place fusions of petri nets
点间确定别名及其在Java程序数据依赖分析中的应用
测试用例集约简问题研究及其进展
演化测试技术的研究
组合测试用例生成技术
基于依赖结构分析的类重要性度量方法
支持模糊隶属度比较的扩展模糊描述逻辑
Does software reliability growth behavior follow a non-homogeneous Poisson process
On the online parameter estimation problem in adaptive software testing
变量极小不可满足在模型检测中的应用(英文)
Program slicing under UML scenario models
An efficient method to generate feasible paths for basis path testing
一种新型形式化程序切片方法
精确的程序静态分析
基于互信息的无监督特征选择
增量式软件设计方法的条件
相邻因素组合测试用例集的最优生成方法
基于完备抽象解释的模型检验CTL公式研究
基于程序路径分析的有效蜕变测试
一种并行环境下测试用例优先级技术度量方法
变量极小不可满足在模型检测中的应用
一种恢复状态模式的状态转换图的方法
面向路径覆盖的演化测试用例生成技术
使用复合蜕变关系进行软件测试的实例研究
飞行控制软件测试中插桩技术的优化方法
基于监控理论的EFSM设计方法
Predicting the Maintainability of Open Source Software Using Design Metrics
基于客户程序度量包内聚性
Shrek：一个动态面向对象程序设计语言
飞行控制软件测试中的插桩技术
重构C＋＋程序物理设
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433