位置：成果数据库 > 期刊 > 期刊详情页
基于形态分析识别设计模式中的集中管理式聚集
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：0
  • 页码：2725-2737
  • 语言：中文
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]东南大学计算机科学与工程学院,江苏南京211189, [2]上海市计算机软件评测重点实验室,上海201112, [3]南京航空航天大学信息科学与技术学院,江苏南京210016, [4]南京大学计算机科学与技术系,江苏南京210093, [5]南京大学计算机软件新技术国家重点实验室,江苏南京210093
  • 相关基金：国家自然科学基金Nos.90818027,60633010,60873050,60873049,60803008,60903026;;国家高技术研究发展计划（863）No.2009AA01Z147;;江苏省自然科学基金Nos.BK2006094,BK2008292;;上海市计算机软件评测重点实验室开放项目No.09DZ2272600
  • 相关项目：高可信软件的测试与评估
作者： 陈林|徐宝文|周晓宇|钱巨|
关键词： 聚集, 设计模式, 形态分析, 集中式管理, 识别, aggregation； design pattern； shape analysis； centrally managed； identification；
中文摘要：

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

英文摘要：

In this paper,a shape-analysis based approach is proposed to automatically identify aggregations that are implemented using the commonly used implementation mechanism,pointers or references.First,this paper augments predicates of Sagiv＇s three-valued logical structure to describe the semantic constraints for the central aggregation management operations on linked lists.Then,this paper presents a method to identify the aggregation management behavior by analyzing the changes of shape structures for linked lists along control flow paths.Finally,the effectiveness of the proposed 1-n aggregation identification approach is proposed using a case study from the open-source software JEdit.

同期刊论文项目
面向服务质量的Web服务测试技术研究
期刊论文 22 会议论文 10 专利 2
面向并发的自动化代码重构技术研究
期刊论文 19 会议论文 3 获奖 2 专利 2
基于依赖性分析的面向对象内聚性和耦合性度量理论、实证和应用研究
期刊论文 13 会议论文 2
面向软件可信性演进的软件测试技术研究
期刊论文 76 会议论文 27
高可信软件的测试与评估
期刊论文 88 会议论文 47
并发程序切片及其关键技术研究
期刊论文 22 会议论文 5
同项目期刊论文
组合测试数据生成的交叉熵与粒子群算法及比较
Automatic identification of use cases from codes: A user's goal driven approach
基于程序切片的缓冲区溢出探测
含指针程序的单子切片方法
Haskell平台下Web服务自动化测试
并发程序切片原型系统的设计与实现
一个设计模式自动识别技术研究框架
一种基于调用栈的组合式程序切片方法
t-维覆盖阵的递归构建
基于偏序约简程序可达图的并发程序切片方法
信息流安全技术回顾与展望
基于贡献调用栈抽取字符串的指针分析
一种组合式基于调用栈的程序切片方法
一种恢复状态模式的状态转换图的方法
On the ability of complexity metrics to predict fault-proneness
Automatic identification of use cases from codes: A user's goal driven approach
基于匈牙利匹配算法的钓鱼网页检测方法
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
利用h 指数及其衍生度量识别关键类
一种恢复状态模式的状态转换图的方法
组合测试数据生成的交叉熵与粒子群算法及比较
Automatic identification of use cases from codes: A user's goal driven approach
一种防止缓冲区溢出的整数溢出检测方法
基于匈牙利匹配算法的钓鱼网页检测方法
基于变异测试和OWL-S文档的Web服务测试用例生成
快速生成两两组合测试用例集算法
用户需求驱动的Web服务测试
通过增大边际权重提高基于频谱的错误定位效率
基于组件Web应用程序的覆盖率准则和测试需求约简（英文）
Continuous time Markov chain based website navigability measure
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＋＋程序物理设
朴素模糊描述逻辑知识库构造及其朴素推理
一种利用指向组合优化依赖图构建的方法
基于Markov链使用模型的加速统计测试方法
一种构建于DSM的移动对象的全时态索引方法
划分测试用例选择的风险决策方法
含指针程序的单子切片方法
一种基于信息量的缺陷定位方法
Java程序自动锁分解重构*
Slithice:一个基于系统依赖图的Java程序切片工具
Finding shrink critical section refactoring opportunities for the evolution of concurrent code in tr
一种组合式基于调用栈的程序切片方法
一种恢复状态模式的状态转换图的方法
一种基于差异分散化的错误定位方法
回归测试中测试用例优先级技术研究综述
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