首页 > 最新文献

Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)最新文献

英文 中文
Common concept apparatus within corrective software maintenance 校正软件维护中的通用概念仪器
M. Kajko-Mattsson
Software engineering is the fastest growing field of engineering today. Due to this revolutionary development, many conflicts have arisen when defining and using new concepts. This has involved the need for standards, such as the IEEE standard. Despite this, there is still nonuniformity in the use of standard definitions. This could be due to the fact that most of the standard definitions are expressed in natural language. Furthermore, ambiguity may arise when relating some of these concepts to other concepts. We propose a conceptual model of the basic concepts utilised within corrective software maintenance. The goal is to clarify the fundamental concept apparatus. This model should constitute a common forum for communication when conceptualising software problems and defects, and for suggesting maintenance frameworks, models and/or measures.
软件工程是当今发展最快的工程领域。由于这种革命性的发展,在定义和使用新概念时产生了许多冲突。这涉及到对标准的需求,例如IEEE标准。尽管如此,在使用标准定义方面仍然存在不一致性。这可能是因为大多数标准定义都是用自然语言表示的。此外,当将其中一些概念与其他概念联系起来时,可能会产生歧义。我们提出了一个基本概念的概念模型,用于纠正软件维护。目标是澄清基本概念仪器。当对软件问题和缺陷进行概念化,并建议维护框架、模型和/或度量时,该模型应该构成一个公共的交流论坛。
{"title":"Common concept apparatus within corrective software maintenance","authors":"M. Kajko-Mattsson","doi":"10.1109/ICSM.1999.792626","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792626","url":null,"abstract":"Software engineering is the fastest growing field of engineering today. Due to this revolutionary development, many conflicts have arisen when defining and using new concepts. This has involved the need for standards, such as the IEEE standard. Despite this, there is still nonuniformity in the use of standard definitions. This could be due to the fact that most of the standard definitions are expressed in natural language. Furthermore, ambiguity may arise when relating some of these concepts to other concepts. We propose a conceptual model of the basic concepts utilised within corrective software maintenance. The goal is to clarify the fundamental concept apparatus. This model should constitute a common forum for communication when conceptualising software problems and defects, and for suggesting maintenance frameworks, models and/or measures.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122029738","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}
引用次数: 16
Generation of software renovation factories from compilers 从编译器生成软件更新工厂
A. Sellink, C. Verhoef
When a compiler is designed carefully, it is possible to extract its grammar. We reengineer the extracted grammar to one that is geared towards reengineering. From this reengineering grammar we generate an architecture called a software renovation factory. This includes: generic analysis and transformation functionality and a native pattern language using the concrete syntax of the language for which the renovation is necessary. Moreover, we generate the grammar in HTML format so that reengineers can quickly understand the language. We applied our approach successfully to an exceptionally complex and large proprietary language. Our approach enables rapid development of software renovation factories. We believe that our approach can partly solve the lack of Year 2000 tool support for many languages.
当编译器被精心设计时,就有可能提取出它的语法。我们将提取的语法重新设计为面向重新设计的语法。从这个再工程语法中,我们生成了一个称为软件更新工厂的体系结构。这包括:通用的分析和转换功能,以及使用需要更新的语言的具体语法的本地模式语言。此外,我们以HTML格式生成语法,以便重新设计人员可以快速理解语言。我们成功地将我们的方法应用于一个异常复杂和大型的专有语言。我们的方法使软件更新工厂能够快速发展。我们相信我们的方法可以部分解决许多语言缺乏2000年工具支持的问题。
{"title":"Generation of software renovation factories from compilers","authors":"A. Sellink, C. Verhoef","doi":"10.1109/ICSM.1999.792622","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792622","url":null,"abstract":"When a compiler is designed carefully, it is possible to extract its grammar. We reengineer the extracted grammar to one that is geared towards reengineering. From this reengineering grammar we generate an architecture called a software renovation factory. This includes: generic analysis and transformation functionality and a native pattern language using the concrete syntax of the language for which the renovation is necessary. Moreover, we generate the grammar in HTML format so that reengineers can quickly understand the language. We applied our approach successfully to an exceptionally complex and large proprietary language. Our approach enables rapid development of software renovation factories. We believe that our approach can partly solve the lack of Year 2000 tool support for many languages.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"33 13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116788674","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}
引用次数: 40
Extracting objects of Ada programs using module features 利用模块特征提取Ada程序对象
Yuming Zhou, Baowen Xu
Reengineering legacy systems written in conventional procedural languages to equivalent OO systems makes software more maintainable and reliable. In this paper a method for extracting objects from legacy Ada 83 systems using module features is proposed. First, we develop metrics to measure module cohesion. Then, effects on cohesion from changing module components are discussed and rules on how to extract inheritance relations among objects are given. Finally, an object identification tool in APAUS is described.
将用传统过程语言编写的遗留系统重新设计为等效的OO系统,使软件更具可维护性和可靠性。本文提出了一种利用模块特征从Ada 83系统中提取对象的方法。首先,我们开发度量模块内聚性的指标。然后讨论了模块组件变化对内聚的影响,并给出了对象间继承关系提取的规则。最后,介绍了APAUS中的对象识别工具。
{"title":"Extracting objects of Ada programs using module features","authors":"Yuming Zhou, Baowen Xu","doi":"10.1109/ICSM.1999.792495","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792495","url":null,"abstract":"Reengineering legacy systems written in conventional procedural languages to equivalent OO systems makes software more maintainable and reliable. In this paper a method for extracting objects from legacy Ada 83 systems using module features is proposed. First, we develop metrics to measure module cohesion. Then, effects on cohesion from changing module components are discussed and rules on how to extract inheritance relations among objects are given. Finally, an object identification tool in APAUS is described.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116487098","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}
引用次数: 5
Hot spot recovery in object-oriented software with inheritance and composition template methods 基于继承和组合模板方法的面向对象软件热点恢复
R. Schauer, Sébastien Robitaille, François Martel, R. Keller
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects that should be kept flexible to accommodate reuse and change. Yet, all too often, Hot Spots are hardly documented and over years of software evolution, the source code that reifies them becomes increasingly entangled with the application specific code. This blurring of the flexible with the rigid parts makes an application hard to maintain, prone to unexpected change impact, and immobile for reuse in related areas. In this paper we apply SPOOL, our prototype environment for reverse engineering, to the recovery of Hot Spots in C++ software. We base the technique for Hot Spot recovery on the design concept of template methods. We present the approach and the interactive analysis capabilities of SPOOL to visualize browse, and inspect Hot Spots in both separate and contextual form. The findings are validated based on two industrial systems.
面向对象软件开发项目的成功在很大程度上取决于设计人员能否很好地捕获应用程序领域的热点,也就是说,那些应该保持灵活以适应重用和更改的方面。然而,通常情况下,热点几乎没有文档记录,并且经过多年的软件发展,具体化它们的源代码越来越多地与特定于应用程序的代码纠缠在一起。这种柔性部分与刚性部分的模糊使得应用程序难以维护,容易受到意想不到的更改影响,并且无法在相关领域进行重用。本文将逆向工程的原型环境SPOOL应用于c++软件中的热点恢复。我们基于模板法的设计思想来实现热点恢复技术。我们提出了SPOOL的方法和交互式分析功能,以可视化浏览,并以单独和上下文形式检查热点。研究结果在两个工业系统中得到了验证。
{"title":"Hot spot recovery in object-oriented software with inheritance and composition template methods","authors":"R. Schauer, Sébastien Robitaille, François Martel, R. Keller","doi":"10.1109/ICSM.1999.792615","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792615","url":null,"abstract":"The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects that should be kept flexible to accommodate reuse and change. Yet, all too often, Hot Spots are hardly documented and over years of software evolution, the source code that reifies them becomes increasingly entangled with the application specific code. This blurring of the flexible with the rigid parts makes an application hard to maintain, prone to unexpected change impact, and immobile for reuse in related areas. In this paper we apply SPOOL, our prototype environment for reverse engineering, to the recovery of Hot Spots in C++ software. We base the technique for Hot Spot recovery on the design concept of template methods. We present the approach and the interactive analysis capabilities of SPOOL to visualize browse, and inspect Hot Spots in both separate and contextual form. The findings are validated based on two industrial systems.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122957847","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}
引用次数: 25
Metrics for controlling effort during adaptive maintenance of object oriented systems 在面向对象系统的自适应维护过程中用于控制工作量的度量
F. Fioravanti, P. Nesi, F. Stortoni
Object oriented modeling has been largely adopted in industry in the last few years. Several systems built 4 or 5 years ago may need an adaptive maintenance process in order to better satisfy market and customer needs. A model for effort estimation/prediction of the adaptive maintenance is presented. A selection of metrics for effort estimation has been applied to the general model for evaluating maintenance effort. The metrics presented have been validated against real data. The validation presented has shown that some metrics that can be profitably employed for effort estimation/prediction can be also used with success for the estimation/prediction of the maintenance effort. Moreover the results obtained give some guidelines for maintenance of control of relevant factors for adaptive maintenance.
在过去的几年中,面向对象建模在工业中被广泛采用。为了更好地满足市场和客户的需求,一些4或5年前构建的系统可能需要自适应维护过程。提出了一种自适应维修工作量估计/预测模型。工作评估度量的选择已经应用到评估维护工作的一般模型中。所提出的指标已根据实际数据进行了验证。所提出的验证表明,一些可以用于工作量估计/预测的有益度量也可以成功地用于维护工作的估计/预测。研究结果对适应性维修相关因素的控制具有一定的指导意义。
{"title":"Metrics for controlling effort during adaptive maintenance of object oriented systems","authors":"F. Fioravanti, P. Nesi, F. Stortoni","doi":"10.1109/ICSM.1999.792646","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792646","url":null,"abstract":"Object oriented modeling has been largely adopted in industry in the last few years. Several systems built 4 or 5 years ago may need an adaptive maintenance process in order to better satisfy market and customer needs. A model for effort estimation/prediction of the adaptive maintenance is presented. A selection of metrics for effort estimation has been applied to the general model for evaluating maintenance effort. The metrics presented have been validated against real data. The validation presented has shown that some metrics that can be profitably employed for effort estimation/prediction can be also used with success for the estimation/prediction of the maintenance effort. Moreover the results obtained give some guidelines for maintenance of control of relevant factors for adaptive maintenance.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126315632","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
Test case prioritization: an empirical study 测试用例优先级:一个实证研究
G. Rothermel, Roland H. Untch, Chengyun Chu, M. J. Harrold
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicable; one such function involves rate of fault detection-a measure of how quickly faults are detected within the testing process. An improved rate of fault detection during regression testing can provide faster feedback on a system under regression test and let debuggers begin their work earlier than might otherwise be possible. In this paper we describe several techniques for prioritizing test cases and report our empirical results measuring the effectiveness of these techniques for improving rate of fault detection. The results provide insights into the tradeoffs among various techniques for test case prioritization.
测试用例优先排序技术按照尝试最大化某些目标功能的顺序安排测试用例的执行。适用多种目标函数;其中一个功能涉及到故障检测率,即在测试过程中检测到故障的速度。在回归测试期间改进的故障检测率可以为回归测试下的系统提供更快的反馈,并让调试器比其他方法更早地开始他们的工作。在本文中,我们描述了几种对测试用例进行优先级排序的技术,并报告了我们的经验结果,测量了这些技术在提高故障检测率方面的有效性。结果提供了对测试用例优先级的各种技术之间的权衡的见解。
{"title":"Test case prioritization: an empirical study","authors":"G. Rothermel, Roland H. Untch, Chengyun Chu, M. J. Harrold","doi":"10.1109/ICSM.1999.792604","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792604","url":null,"abstract":"Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicable; one such function involves rate of fault detection-a measure of how quickly faults are detected within the testing process. An improved rate of fault detection during regression testing can provide faster feedback on a system under regression test and let debuggers begin their work earlier than might otherwise be possible. In this paper we describe several techniques for prioritizing test cases and report our empirical results measuring the effectiveness of these techniques for improving rate of fault detection. The results provide insights into the tradeoffs among various techniques for test case prioritization.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128080123","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}
引用次数: 679
A tool suite for evolving legacy software 用于发展遗留软件的工具套件
S. Rugaber
Evolving an existing software system is fundamentally different from developing one from scratch. Consequently, tools to support evolution must go beyond traditional development tools. The paper describes the Esprit de Corps Suite (EDCS) of software evolution tools. EDCS supports the mission oriented architectural legacy evolution (MORALE) software reengineering process. The paper briefly describes MORALE before presenting the individual tools and how they interoperate to support legacy system evolution.
发展一个现有的软件系统与从零开始开发一个软件系统是完全不同的。因此,支持进化的工具必须超越传统的开发工具。本文介绍了Esprit de Corps Suite (EDCS)软件开发工具。EDCS支持面向任务的架构遗留演进(士气)软件再工程过程。在介绍单个工具以及它们如何互操作以支持遗留系统演进之前,本文简要地描述了士气。
{"title":"A tool suite for evolving legacy software","authors":"S. Rugaber","doi":"10.1109/ICSM.1999.792496","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792496","url":null,"abstract":"Evolving an existing software system is fundamentally different from developing one from scratch. Consequently, tools to support evolution must go beyond traditional development tools. The paper describes the Esprit de Corps Suite (EDCS) of software evolution tools. EDCS supports the mission oriented architectural legacy evolution (MORALE) software reengineering process. The paper briefly describes MORALE before presenting the individual tools and how they interoperate to support legacy system evolution.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133825418","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}
引用次数: 21
Testing of concurrent programs after specification changes 在规范更改后测试并发程序
I. Chung, H. Kim, Hyun-Seop Bae, Y. Kwon, Dong-Gil Lee
This paper describes a specification-based regression testing technique that can be applied for revalidating concurrent programs after specification changes. This kind of regression testing technique requires sequencing constraints which specify the precedence relations among synchronization events. In our method, the sequencing constraints are extracted automatically from Message Sequence Charts (MSCs) that are considered to be partial and nondeterministic specifications. We show how to identify the sequencing constraints affected by the modifications of a specification rather than creating new sequencing constraints from scratch to reduce the cost of regression testing. We also describe how to determine whether the affected sequencing constraints are satisfied by the program being tested.
本文描述了一种基于规范的回归测试技术,该技术可用于在规范更改后重新验证并发程序。这种回归测试技术需要排序约束,它指定同步事件之间的优先关系。在我们的方法中,顺序约束从消息序列图(MSCs)中自动提取,这些消息序列图被认为是部分和不确定的规范。我们展示了如何识别受规范修改影响的排序约束,而不是从头开始创建新的排序约束,以减少回归测试的成本。我们还描述了如何确定被测试的程序是否满足受影响的排序约束。
{"title":"Testing of concurrent programs after specification changes","authors":"I. Chung, H. Kim, Hyun-Seop Bae, Y. Kwon, Dong-Gil Lee","doi":"10.1109/ICSM.1999.792609","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792609","url":null,"abstract":"This paper describes a specification-based regression testing technique that can be applied for revalidating concurrent programs after specification changes. This kind of regression testing technique requires sequencing constraints which specify the precedence relations among synchronization events. In our method, the sequencing constraints are extracted automatically from Message Sequence Charts (MSCs) that are considered to be partial and nondeterministic specifications. We show how to identify the sequencing constraints affected by the modifications of a specification rather than creating new sequencing constraints from scratch to reduce the cost of regression testing. We also describe how to determine whether the affected sequencing constraints are satisfied by the program being tested.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133336130","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}
引用次数: 9
Automatic unit test data generation using mixed-integer linear programming and execution trees 自动单元测试数据生成使用混合整数线性规划和执行树
Sébastien Lapierre, E. Merlo, G. Savard, G. Antoniol, R. Fiutem, P. Tonella
This paper presents an approach to automatic unit test data generation for branch coverage using mixed-integer linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering activities. Several strategies, including original algorithms, to move towards practical test data generation have been investigated in this paper. Methods include: the analysis of minimum path-length partial execution trees for unconstrained arcs, thus increasing the generation performance and reducing the difficulties originated by infeasible paths the reduction of the difficulties originated by nonlinear path conditions by considering alternative linear paths the reduction of the number of test cases, which are needed to achieve the desired coverage, based on the concept of unconstrained arcs in a control flow graph the extension of symbolic execution to deal with dynamic memory allocation and deallocation, pointers and pointers to functions system. Preliminary results are encouraging and show that a high percentage of the program branches can be covered by the test data automatically produced. The approach is flexible to branch selection criteria coming from general testing as well as regression testing.
本文提出了一种使用混合整数线性规划、执行树和符号执行来自动生成分支覆盖单元测试数据的方法。这种方法对于软件维护和再工程活动之后的一般测试和回归测试都很有用。本文研究了几种面向实际测试数据生成的策略,包括原始算法。方法包括:分析了无约束弧线的最小路径长度部分执行树,从而提高了生成性能,降低了不可行路径引起的困难,通过考虑备选线性路径来降低非线性路径条件引起的困难,减少了达到预期覆盖率所需的测试用例数量;基于控制流图中无约束弧的概念,扩展符号执行来处理动态内存分配和释放,指针和指针指向函数系统。初步的结果是令人鼓舞的,并且显示自动生成的测试数据可以覆盖很大比例的程序分支。该方法对于来自一般测试和回归测试的分支选择标准是灵活的。
{"title":"Automatic unit test data generation using mixed-integer linear programming and execution trees","authors":"Sébastien Lapierre, E. Merlo, G. Savard, G. Antoniol, R. Fiutem, P. Tonella","doi":"10.1109/ICSM.1999.792607","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792607","url":null,"abstract":"This paper presents an approach to automatic unit test data generation for branch coverage using mixed-integer linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering activities. Several strategies, including original algorithms, to move towards practical test data generation have been investigated in this paper. Methods include: the analysis of minimum path-length partial execution trees for unconstrained arcs, thus increasing the generation performance and reducing the difficulties originated by infeasible paths the reduction of the difficulties originated by nonlinear path conditions by considering alternative linear paths the reduction of the number of test cases, which are needed to achieve the desired coverage, based on the concept of unconstrained arcs in a control flow graph the extension of symbolic execution to deal with dynamic memory allocation and deallocation, pointers and pointers to functions system. Preliminary results are encouraging and show that a high percentage of the program branches can be covered by the test data automatically produced. The approach is flexible to branch selection criteria coming from general testing as well as regression testing.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122424084","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}
引用次数: 24
Resolved: "Software Maintenance Is Nothing More Than Another Form Of Development" 解决方案:“软件维护只不过是另一种形式的开发”
N. Schneidewind, B. Kitchenharn, F. Niessink, J. Singer, A. von Mayrhauser, Hongji Yang
The motivation for this panel and debate grew out of discussions held in Session # 2 at the Third Annual Workshop on Empirical Studies of Software Maintenance, WESS '98, Session # 1 Bethesda, Maryland, November 16, 1998 that dealt with the topic: "What are the differences between maintenance tools tools/methods/skills and those of development". This session had the following participants: A. von Mayrhauser (chair), B. A. Kitchenham, F. Niessink, N. Schneidewind, J. Singer, G. H. Travassos, S. Takada, R. Vehvilainen, and H.Yang.Subsequent to WESS, Barbara Kitchenham and Anneliese von Mayrhauser discussed the possibility of our group producing a paper on the Ontology of Maintenance. Then a technical report was published on the subject [1]. This paper is based largely on the ideas expressed in that report.
这次小组讨论和辩论的动机源于1998年11月16日在马里兰州贝塞斯达举行的第三届软件维护实证研究年度研讨会# 2会议上的讨论:“维护工具工具/方法/技能与开发工具/方法/技能之间的区别是什么”。本次会议有以下参与者:a . von mayhauser(主席)、B. a . Kitchenham、F. Niessink、N. Schneidewind、J. Singer、G. H. Travassos、S. Takada、R. Vehvilainen和H. yang。在WESS之后,Barbara Kitchenham和Anneliese von mayhauser讨论了我们小组发表一篇关于维护本体的论文的可能性。然后发表了一份关于这个主题的技术报告。这篇论文主要是根据那份报告中所表达的观点。
{"title":"Resolved: \"Software Maintenance Is Nothing More Than Another Form Of Development\"","authors":"N. Schneidewind, B. Kitchenharn, F. Niessink, J. Singer, A. von Mayrhauser, Hongji Yang","doi":"10.1109/ICSM.1999.792499","DOIUrl":"https://doi.org/10.1109/ICSM.1999.792499","url":null,"abstract":"The motivation for this panel and debate grew out of discussions held in Session # 2 at the Third Annual Workshop on Empirical Studies of Software Maintenance, WESS '98, Session # 1 Bethesda, Maryland, November 16, 1998 that dealt with the topic: \"What are the differences between maintenance tools tools/methods/skills and those of development\". This session had the following participants: A. von Mayrhauser (chair), B. A. Kitchenham, F. Niessink, N. Schneidewind, J. Singer, G. H. Travassos, S. Takada, R. Vehvilainen, and H.Yang.Subsequent to WESS, Barbara Kitchenham and Anneliese von Mayrhauser discussed the possibility of our group producing a paper on the Ontology of Maintenance. Then a technical report was published on the subject [1]. This paper is based largely on the ideas expressed in that report.","PeriodicalId":193867,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131044845","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}
引用次数: 4
期刊
Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360)
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1