首页 > 最新文献

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001最新文献

英文 中文
A queue theory-based approach to staff software maintenance centers 基于排队理论的软件维护中心员工管理方法
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972764
G. Antoniol, G. Casazza, G. D. Lucca, M. D. Penta, Francesco Rago
The Internet and WEB pervasivenesses are changing the landscape of several different areas, ranging from information gathering/managing and commerce to software development, maintenance and evolution. Software companies having a geographically distributed structure, or geographically distributed customers, are adopting information communication technologies to cooperate. Communication technologies and infrastructures allow the companies to create a virtual software factory. This paper proposes to adopt queue theory to deal with an economically relevant category of problems: the staffing, the process management and the service level evaluation of massive maintenance projects in a virtual software factory. Data from a massive corrective maintenance intervention were used to simulate and study different service center configurations, in particular, a monolithic configuration and a configuration corresponding to a multi-phase maintenance process where several maintenance centers cooperated. Queue theory allowed effective control of the process supporting project management decisions. The mathematical tool provided a means to assess staffing, evaluate service level and balance the workload between maintenance centers while executing the project.
Internet和WEB的普及正在改变几个不同领域的景观,从信息收集/管理和商业到软件开发、维护和演变。具有地理分布结构或地理分布客户的软件公司正在采用信息通信技术进行合作。通信技术和基础设施允许公司创建一个虚拟的软件工厂。本文提出用排队理论来解决虚拟软件工厂中大规模维修项目的人员配备、流程管理和服务水平评价等与经济相关的一类问题。利用大规模纠正维护干预的数据,模拟和研究了不同的服务中心配置,特别是单片配置和对应于多个维护中心合作的多阶段维护过程的配置。队列理论允许对支持项目管理决策的过程进行有效控制。数学工具提供了在执行项目时评估人员配置、评估服务水平和平衡维护中心之间工作量的方法。
{"title":"A queue theory-based approach to staff software maintenance centers","authors":"G. Antoniol, G. Casazza, G. D. Lucca, M. D. Penta, Francesco Rago","doi":"10.1109/ICSM.2001.972764","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972764","url":null,"abstract":"The Internet and WEB pervasivenesses are changing the landscape of several different areas, ranging from information gathering/managing and commerce to software development, maintenance and evolution. Software companies having a geographically distributed structure, or geographically distributed customers, are adopting information communication technologies to cooperate. Communication technologies and infrastructures allow the companies to create a virtual software factory. This paper proposes to adopt queue theory to deal with an economically relevant category of problems: the staffing, the process management and the service level evaluation of massive maintenance projects in a virtual software factory. Data from a massive corrective maintenance intervention were used to simulate and study different service center configurations, in particular, a monolithic configuration and a configuration corresponding to a multi-phase maintenance process where several maintenance centers cooperated. Queue theory allowed effective control of the process supporting project management decisions. The mathematical tool provided a means to assess staffing, evaluate service level and balance the workload between maintenance centers while executing the project.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"209 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115927846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Using design recovery techniques to transform legacy systems 使用设计恢复技术转换遗留系统
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972779
T. Dean, J. Cordy, Kevin A. Schneider, A. Malton
The year 2000 problem posed a difficult problem for many IT shops world wide. The most difficult part of the problem was not the actual changes to ensure compliance, but finding and classifying the data fields that represent dates. This is a problem well suited to design recovery. The paper presents an overview of LS/2000, a system that used design recovery to analyze source code for year 2000 risks and guide a source transformation that was able to automatically remediate over 99% of the year 2000 risks in over three billion lines of production IT source.
2000年的问题给全世界的许多IT商店带来了一个难题。问题中最困难的部分不是确保遵从性的实际更改,而是查找和分类表示日期的数据字段。这是一个非常适合设计恢复的问题。本文介绍了LS/2000的概述,LS/2000是一个使用设计恢复来分析2000年风险的源代码并指导源转换的系统,该系统能够在超过30亿条生产IT源中自动修复超过99%的2000年风险。
{"title":"Using design recovery techniques to transform legacy systems","authors":"T. Dean, J. Cordy, Kevin A. Schneider, A. Malton","doi":"10.1109/ICSM.2001.972779","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972779","url":null,"abstract":"The year 2000 problem posed a difficult problem for many IT shops world wide. The most difficult part of the problem was not the actual changes to ensure compliance, but finding and classifying the data fields that represent dates. This is a problem well suited to design recovery. The paper presents an overview of LS/2000, a system that used design recovery to analyze source code for year 2000 risks and guide a source transformation that was able to automatically remediate over 99% of the year 2000 risks in over three billion lines of production IT source.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"415 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122794396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
A metric framework for the assessment of object-oriented systems 用于评估面向对象系统的度量框架
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972771
F. Fioravanti
In this paper an abstract of the Ph.D. thesis discussed at the University of Florence by the author is presented. The main focus of the thesis was in the identification and validation, both theoretical and empirical, of Object-Oriented metrics for complexity, and then, effort estimation. Complexity/effort metrics have been validated against test cases for verifying effectiveness of the estimation for evaluating development and maintenance effort.
本文介绍了作者在佛罗伦萨大学所讨论的博士论文摘要。论文的主要焦点是在识别和验证,理论和经验,面向对象的度量复杂性,然后,工作量估计。复杂度/工作量度量已经根据测试用例进行了验证,以验证评估开发和维护工作的评估的有效性。
{"title":"A metric framework for the assessment of object-oriented systems","authors":"F. Fioravanti","doi":"10.1109/ICSM.2001.972771","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972771","url":null,"abstract":"In this paper an abstract of the Ph.D. thesis discussed at the University of Florence by the author is presented. The main focus of the thesis was in the identification and validation, both theoretical and empirical, of Object-Oriented metrics for complexity, and then, effort estimation. Complexity/effort metrics have been validated against test cases for verifying effectiveness of the estimation for evaluating development and maintenance effort.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114383898","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Automating language conversion: a case study (an extended abstract) 自动化语言转换:一个案例研究(扩展摘要)
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972782
A. Terekhov
Language conversion is a laborious process. Achieving the maximum efficiency of conversion without compromising the quality of converted system is the programmers' dream. This paper illustrates the quest for this trade-off by a case study. We consider an industrial reengineering project, which included translation of a client/server system written in a proprietary language into two different programming languages. We also discuss various factors that affect the automation level of language conversions.
语言转换是一个费力的过程。在不影响转换系统质量的前提下实现转换的最高效率是程序员的梦想。本文通过一个案例研究说明了对这种权衡的追求。我们考虑一个工业再造项目,其中包括将用专有语言编写的客户机/服务器系统翻译成两种不同的编程语言。我们还讨论了影响语言转换自动化水平的各种因素。
{"title":"Automating language conversion: a case study (an extended abstract)","authors":"A. Terekhov","doi":"10.1109/ICSM.2001.972782","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972782","url":null,"abstract":"Language conversion is a laborious process. Achieving the maximum efficiency of conversion without compromising the quality of converted system is the programmers' dream. This paper illustrates the quest for this trade-off by a case study. We consider an industrial reengineering project, which included translation of a client/server system written in a proprietary language into two different programming languages. We also discuss various factors that affect the automation level of language conversions.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"22 16","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113984633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Aspects of design and implementation of a multi-channel and multi-modal information system 多渠道、多模式信息系统的设计与实现
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972744
V. Demesticha, Jaroslav Gergic, Jan Kleindienst, M. Mast, L. Polymenakos, Henrik Schulz, L. Serédi
The paper describes an architecture for multi-channel and multi-modal applications. First the design problem is explored and a proposal for a system that can handle multi-modal interaction and delivery of Internet content is proposed. The focus is pertained in some development aspects and the way they are addressed by using state-of-the-art tools. The various components are defined and described in detail. Finally, conclusions and a view of future work on the evolution of such systems is given.
本文描述了一种多通道、多模态应用的体系结构。首先对设计问题进行了探讨,提出了一个能够处理多模式交互和互联网内容传递的系统方案。重点是在一些开发方面,以及如何使用最先进的工具来解决这些问题。对各种组件进行了详细的定义和描述。最后,给出了结论,并对未来的研究工作进行了展望。
{"title":"Aspects of design and implementation of a multi-channel and multi-modal information system","authors":"V. Demesticha, Jaroslav Gergic, Jan Kleindienst, M. Mast, L. Polymenakos, Henrik Schulz, L. Serédi","doi":"10.1109/ICSM.2001.972744","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972744","url":null,"abstract":"The paper describes an architecture for multi-channel and multi-modal applications. First the design problem is explored and a proposal for a system that can handle multi-modal interaction and delivery of Internet content is proposed. The focus is pertained in some development aspects and the way they are addressed by using state-of-the-art tools. The various components are defined and described in detail. Finally, conclusions and a view of future work on the evolution of such systems is given.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"273 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122088145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Introducing workflow management in software maintenance processes 在软件维护过程中引入工作流管理
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972757
Lerina Aversano, S. Betti, A. D. Lucia, Silvio Stefanucci
Software organizations are moving from traditional software factory models towards virtual organization models, where distributed teams converge in a temporary network with the aim of integrating different competences or solving problems in a cooperative way. Most workflow management systems of last generation are web based and this makes them a viable enabling technology for remodeling both the organization structure and its processes in order to move towards a virtual organization model and increase its competitiveness. We present a case study of introducing workflow technologies in a large software enterprise. In particular, a workflow-based prototype implementation for the management of the ordinary maintenance process is discussed.
软件组织正在从传统的软件工厂模型转向虚拟组织模型,在虚拟组织模型中,分布式团队聚集在一个临时网络中,目的是集成不同的能力或以合作的方式解决问题。上一代的大多数工作流管理系统都是基于web的,这使得它们成为一种可行的使能技术,可以重塑组织结构及其过程,从而向虚拟组织模式迈进,提高其竞争力。本文给出了一个在大型软件企业中引入工作流技术的案例研究。特别地,讨论了用于管理普通维护过程的基于工作流的原型实现。
{"title":"Introducing workflow management in software maintenance processes","authors":"Lerina Aversano, S. Betti, A. D. Lucia, Silvio Stefanucci","doi":"10.1109/ICSM.2001.972757","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972757","url":null,"abstract":"Software organizations are moving from traditional software factory models towards virtual organization models, where distributed teams converge in a temporary network with the aim of integrating different competences or solving problems in a cooperative way. Most workflow management systems of last generation are web based and this makes them a viable enabling technology for remodeling both the organization structure and its processes in order to move towards a virtual organization model and increase its competitiveness. We present a case study of introducing workflow technologies in a large software enterprise. In particular, a workflow-based prototype implementation for the management of the ordinary maintenance process is discussed.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126902705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Managing the maintenance of ported, outsourced, and legacy software via orthogonal defect classification 通过正交缺陷分类管理移植、外包和遗留软件的维护
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972791
Kathryn Bassin, P. Santhanam
From the perspective of maintenance, software systems that include COTS software, legacy, ported or outsourced code pose a major challenge. The dynamics of enhancing or adapting a product to address evolving customer usage and the inadequate documentation of these changes over a period of time (and several generations) are just two of the factors which may have a debilitating effect on the maintenance effort. While many approaches and solutions have been offered to address the underlying problems, few offer methods which directly affect a team's ability to quickly identify and prioritize actions targeting the product which is already in front of them. The paper describes a method to analyze the information contained in the form of defect data and arrive at technical actions to address explicit product and process weaknesses which can be feasibly addressed in the current effort. The defects are classified using Orthogonal Defect Classification (ODC) and actual case studies are used to illustrate the key points.
从维护的角度来看,包含COTS软件、遗留、移植或外包代码的软件系统构成了一个主要的挑战。增强或调整产品以满足不断变化的客户使用的动态,以及在一段时间内(以及几代人)对这些更改的不充分的文档记录,只是可能对维护工作产生破坏性影响的两个因素。虽然已经提供了许多方法和解决方案来解决潜在的问题,但很少有方法直接影响团队快速识别和优先考虑针对已经摆在他们面前的产品的行动的能力。本文描述了一种方法来分析以缺陷数据的形式包含的信息,并得出技术行动来解决在当前工作中可以可行地解决的明确的产品和过程弱点。采用正交缺陷分类法(ODC)对缺陷进行分类,并用实际案例分析来说明重点。
{"title":"Managing the maintenance of ported, outsourced, and legacy software via orthogonal defect classification","authors":"Kathryn Bassin, P. Santhanam","doi":"10.1109/ICSM.2001.972791","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972791","url":null,"abstract":"From the perspective of maintenance, software systems that include COTS software, legacy, ported or outsourced code pose a major challenge. The dynamics of enhancing or adapting a product to address evolving customer usage and the inadequate documentation of these changes over a period of time (and several generations) are just two of the factors which may have a debilitating effect on the maintenance effort. While many approaches and solutions have been offered to address the underlying problems, few offer methods which directly affect a team's ability to quickly identify and prioritize actions targeting the product which is already in front of them. The paper describes a method to analyze the information contained in the form of defect data and arrive at technical actions to address explicit product and process weaknesses which can be feasibly addressed in the current effort. The defects are classified using Orthogonal Defect Classification (ODC) and actual case studies are used to illustrate the key points.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131576999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Using component metacontent to support the regression testing of component-based software 使用组件元内容支持基于组件的软件的回归测试
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972790
A. Orso, M. J. Harrold, David S. Rosenblum, G. Rothermel, M. Soffa, Hyunsook Do
Component based software technologies are viewed as essential for creating the software systems of the future. However, the use of externally-provided components has serious drawbacks for a wide range of software engineering activities, often because of a lack of information about the components. Previously (A. Orso et al., 2000), we proposed the use of component metacontents: additional data and methods provided with a component, to support software engineering tasks. The authors present two new metacontent based techniques that address the problem of regression test selection for component based applications: a code based approach and a specification based approach. First, we illustrate the two techniques. Then, we present a case study that applies the code based technique to a real component based system. On the system studied, on average, 26% of the overall testing effort was saved over seven releases, with a maximum savings of 99% for one version.
基于组件的软件技术被认为是创建未来软件系统的必要条件。然而,对于广泛的软件工程活动,使用外部提供的组件具有严重的缺点,通常是因为缺乏关于组件的信息。以前(a . Orso等人,2000),我们建议使用组件元内容:与组件一起提供的附加数据和方法,以支持软件工程任务。作者提出了两种新的基于元内容的技术来解决基于组件的应用程序的回归测试选择问题:基于代码的方法和基于规范的方法。首先,我们说明这两种技术。然后,我们给出了一个案例研究,将基于代码的技术应用于一个真实的基于组件的系统。在所研究的系统中,平均而言,整个测试工作的26%在七个版本中被节省,一个版本最多节省99%。
{"title":"Using component metacontent to support the regression testing of component-based software","authors":"A. Orso, M. J. Harrold, David S. Rosenblum, G. Rothermel, M. Soffa, Hyunsook Do","doi":"10.1109/ICSM.2001.972790","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972790","url":null,"abstract":"Component based software technologies are viewed as essential for creating the software systems of the future. However, the use of externally-provided components has serious drawbacks for a wide range of software engineering activities, often because of a lack of information about the components. Previously (A. Orso et al., 2000), we proposed the use of component metacontents: additional data and methods provided with a component, to support software engineering tasks. The authors present two new metacontent based techniques that address the problem of regression test selection for component based applications: a code based approach and a specification based approach. First, we illustrate the two techniques. Then, we present a case study that applies the code based technique to a real component based system. On the system studied, on average, 26% of the overall testing effort was saved over seven releases, with a maximum savings of 99% for one version.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"325 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131549925","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 121
Implementation techniques for efficient data-flow analysis of large programs 大型程序高效数据流分析的实现技术
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972711
Darren C. Atkinson, W. Griswold
Many software engineering tools such as program slicers must perform data-flow analysis in order to extract necessary information from the program source. These tools typically borrow much of their implementation from optimizing compilers. However, since these tools are expected to analyze programs in their entirety, rather than functions in isolation, the time and space performance of the dataflow analyses are of major concern. We present techniques that reduce the time and space required to perform dataflow analysis of large programs. We have used these techniques to implement an efficient program slicing tool for C programs and have computed slices of programs with more than 100,000 lines of code.
许多软件工程工具,如程序切片器,必须执行数据流分析,以便从程序源中提取必要的信息。这些工具通常从优化编译器那里借用了很多实现。然而,由于期望这些工具分析整个程序,而不是孤立地分析功能,因此数据流分析的时间和空间性能是主要关注的问题。我们提出的技术减少了执行大型程序的数据流分析所需的时间和空间。我们已经使用这些技术为C程序实现了一个高效的程序切片工具,并计算了超过100,000行代码的程序切片。
{"title":"Implementation techniques for efficient data-flow analysis of large programs","authors":"Darren C. Atkinson, W. Griswold","doi":"10.1109/ICSM.2001.972711","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972711","url":null,"abstract":"Many software engineering tools such as program slicers must perform data-flow analysis in order to extract necessary information from the program source. These tools typically borrow much of their implementation from optimizing compilers. However, since these tools are expected to analyze programs in their entirety, rather than functions in isolation, the time and space performance of the dataflow analyses are of major concern. We present techniques that reduce the time and space required to perform dataflow analysis of large programs. We have used these techniques to implement an efficient program slicing tool for C programs and have computed slices of programs with more than 100,000 lines of code.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133411506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
Automated support for program refactoring using invariants 使用不变量自动支持程序重构
Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972794
Y. Kataoka, Michael D. Ernst, W. Griswold, D. Notkin
Program refactoring-transforming a program to improve readability, structure, performance, abstraction, maintainability, or other features-is not applied in practice as much as might be desired. One deterrent is the cost of detecting candidates for refactoring and of choosing the appropriate refactoring transformation. This paper demonstrates the feasibility of automatically finding places in the program that are candidates for specific refactorings. The approach uses program invariants: when a particular pattern of invariant relationships appears at a program point, a specific refactoring is applicable. Since most programs lack explicit invariants, an invariant detection tool called Daikon is used to infer the required invariants. We developed an invariant pattern matcher for several common refactorings and applied it to an existing Java code base. Numerous refactorings were detected, and one of the developers of the code base assessed their efficacy.
程序重构——转换程序以改进可读性、结构、性能、抽象、可维护性或其他特性——在实践中并没有得到期望的那么多应用。一个阻碍因素是检测重构候选项和选择适当重构转换的成本。本文演示了在程序中自动查找适合进行特定重构的位置的可行性。该方法使用程序不变量:当不变量关系的特定模式出现在程序点时,可以应用特定的重构。由于大多数程序缺乏显式不变量,因此使用称为Daikon的不变量检测工具来推断所需的不变量。我们为几个常见的重构开发了一个不变模式匹配器,并将其应用于现有的Java代码库。检测到许多重构,代码库的一位开发人员评估了它们的有效性。
{"title":"Automated support for program refactoring using invariants","authors":"Y. Kataoka, Michael D. Ernst, W. Griswold, D. Notkin","doi":"10.1109/ICSM.2001.972794","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972794","url":null,"abstract":"Program refactoring-transforming a program to improve readability, structure, performance, abstraction, maintainability, or other features-is not applied in practice as much as might be desired. One deterrent is the cost of detecting candidates for refactoring and of choosing the appropriate refactoring transformation. This paper demonstrates the feasibility of automatically finding places in the program that are candidates for specific refactorings. The approach uses program invariants: when a particular pattern of invariant relationships appears at a program point, a specific refactoring is applicable. Since most programs lack explicit invariants, an invariant detection tool called Daikon is used to infer the required invariants. We developed an invariant pattern matcher for several common refactorings and applied it to an existing Java code base. Numerous refactorings were detected, and one of the developers of the code base assessed their efficacy.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130059179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 214
期刊
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1