位置：成果数据库 > 期刊 > 期刊详情页
一种基于类型传播分析的泛型实例重构方法
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：0
  • 页码：2617-2627
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]南京大学计算机软件新技术国家重点实验室,江苏南京210093, [2]南京大学计算机科学与技术系,江苏南京210093, [3]东南大学计算机科学与工程学院,江苏南京210096, [4]南京航空航天大学信息科学与技术学院,江苏南京210016
  • 相关基金：Supported by the National Natural Science Foundation of China under Grant Nos.90818027, 60633010 （国家自然科学基金）; the National High-Tech Research and Development Plan of China under Grant No.2009AA01Z147 （国家高技术研究发展计划（863））;致谢在此,我们向对本文工作给予支持和建议的同行表示感谢.同时,对审稿人提出的有益建议表示感谢.
  • 相关项目：面向软件可信性演进的软件测试技术研究
作者： 陈林|徐宝文|钱巨|周天琳|周毓明|
关键词： 泛型, 软件重构, 类型传播分析, 别名分析, 软件重用, generic, software refactoring, type propagation analysis, alias analysis, software reuse
中文摘要：

重构泛型实例有利于提高软件的复用性和类型安全，但现有重构方法的时间复杂度较高，不适用于即时持续的重构．分析了变量类型传播分析方法在重构中的不足，提出了一种改进的泛型变量类型传播分析方法．该方法通过引入一种可以描述复杂参数化类型关系的泛型类型传播图，以复制节点的方式实现泛型变量属性敏感的类型分析，并通过解决别名问题来提高分析的精度．实例研究表明，可以在与程序规模呈近似线性增长的时间复杂度内实施重构。取得了较满意的效果．

英文摘要：

Refactoring generic instantiation is valuable for improving reusability and type safety of software. Most of the existing approaches of refactoring legacy code are not suitable for on-line and persistent refactoring because of their complexity. This paper proposes an instantiation refactoring approach for Java programs based on an extended variable type analysis algorithm. A generic type propagation graph is constructed, and new constructs used to express generic type analysis are added to the graph, so it is suitable to do a generic variable field sensitive type analysis. The paper also discusses how to use alias information to improve the refactoring. The case study shows that the results are satisfactory.

同期刊论文项目
高可信软件的测试与评估
期刊论文 88 会议论文 47
面向软件可信性演进的软件测试技术研究
期刊论文 76 会议论文 27
同项目期刊论文
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
一种新的重构语义分析方法及其应用
基于客户程序度量包内聚性(英文)
基于源代码静态分析的C++0x泛型概念抽取
基于形态分析识别设计模式中的集中管理式聚集
含指针程序的单子切片方法
变量极小公式复杂性
一种新的布尔规格测试用例生成算法
一种基于信息量的缺陷定位方法
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
基于源代码静态分析的C++0x泛型概念抽取
基于形态分析识别设计模式中的集中管理式聚集
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版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609