位置：成果数据库 > 期刊 > 期刊详情页
Slicing Java Generic Programs Using Generic System Dependence Graph
  • ISSN号：1007-1202
  • 期刊名称：Wuhan University Journal of Natural Sciences
  • 时间：0
  • 页码：256-262
  • 语言：英文
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TP368.1[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]State Key Laboratory for Novel Software Technology, NanjingUniversity, Nanjing 210093, Jiangsu China, [2]Department of Computer Science and Technology, NanjingUniversity, Nanjing 210093, Jiangsu China
  • 相关基金：Supported by and the National High Technology Research and Development Program of China （863 Program） （2009AA01Z147） and the National Natural Science Foundation of China （90818027, 60633010）.
  • 相关项目：高可信软件的测试与评估
作者： Chen, Lin|Xu, Baowen|
关键词： 系统依赖图, 程序使用, 切片算法, 通用程序, JAVA, 参数化类型, 程序算法, 泛型, slicing, system dependence graph, generics, program analysis
中文摘要：

CHEN Lin （1979-）, male, Ph.D. candidate, research direction： program analysis and refactoring. E-mail： lchen@nju.edu.cn To whom correspondence should be addressed. E-mail：bxxu@nju.edu.cn

同期刊论文项目
面向软件可信性演进的软件测试技术研究
期刊论文 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
一种新的重构语义分析方法及其应用
一种基于类型传播分析的泛型实例重构方法
基于客户程序度量包内聚性(英文)
基于源代码静态分析的C++0x泛型概念抽取
基于形态分析识别设计模式中的集中管理式聚集
含指针程序的单子切片方法
变量极小公式复杂性
一种新的布尔规格测试用例生成算法
一种基于信息量的缺陷定位方法
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
基于路径分析的死循环检测
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＋＋程序物理设
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析
期刊信息
  • 《武汉大学学报：自然科学英文版》
  • 主管单位:教育部
  • 主办单位:武汉大学
  • 主编：侯杰昌
  • 地址：武汉大学期刊社
  • 邮编：430072
  • 邮箱：whdy@whu.edu.cn
  • 电话：027-68752259
  • 国际标准刊号：ISSN：1007-1202
  • 国内统一刊号：ISSN：42-1405/N
  • 邮发代号:38-314
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,英国农业与生物科学研究中心文摘,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,英国动物学记录
  • 被引量:252