Proceedings IEEE International Conference on Software Maintenance. ICSM 2001最新文献_第6页

Extending the UML to support evolution management 扩展UML以支持演进管理

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972718

R. France, J. Bieman, R. Trask

引用次数: 1

Flow analysis to detect blocked statements 流分析以检测阻塞语句

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972712

B. Malenfant, G. Antoniol, E. Merlo, M. Dagenais

引用次数: 2

The impact of software evolution on code coverage information 软件演化对代码覆盖信息的影响

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972727

Sebastian G. Elbaum, D. Gable, G. Rothermel

{"title":"The impact of software evolution on code coverage information","authors":"Sebastian G. Elbaum, D. Gable, G. Rothermel","doi":"10.1109/ICSM.2001.972727","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972727","url":null,"abstract":"Many tools and techniques for addressing software maintenance problems rely on code coverage information. Often, this coverage information is gathered for a specific version of a software system, and then used to perform analyses on subsequent versions of that system without being recalculated. As a software system evolves, however, modifications to the software alter the software's behavior on particular inputs, and code coverage information gathered on earlier versions of a program may not accurately reflect the coverage that would be obtained on later versions. This discrepancy may affect the success of analyses dependent on code coverage information. Despite the importance of coverage information in various analyses, in our search of the literature we find no studies specifically examining the impact of software evolution on code coverage information. Therefore, we conducted empirical studies to examine this impact. The results of our studies suggest that even relatively small modifications can greatly affect code coverage information, and that the degree of impact of change on coverage may be difficult to predict.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"3 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":"117098092","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}

引用次数: 82

Summary of dynamically discovering likely program invariants 动态发现可能的程序不变量摘要

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972767

Michael D. Ernst

{"title":"Summary of dynamically discovering likely program invariants","authors":"Michael D. Ernst","doi":"10.1109/ICSM.2001.972767","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972767","url":null,"abstract":"The dissertation dynamically discovering likely program invariants introduces dynamic detection of program invariants, presents techniques for detecting such invariants from traces, assesses the techniques' efficacy, and points the way for future research. Invariants are valuable in many aspects of program development, including design, coding, verification, testing, optimization, and maintenance. They also enhance programmers' understanding of data structures, algorithms, and program operation. Unfortunately, explicit invariants are usually absent from programs, depriving programmers and automated tools of their benefits. The dissertation shows how invariants can be dynamically detected from program traces that capture variable values at program points of interest. The user runs the target program over a test suite to create the traces, and an invariant detector determines which properties and relationships hold over both explicit variables and other expressions. Properties that hold over the traces and also satisfy other tests, such as being statistically justified, not being over unrelated variables, and not being implied by other reported invariants, are reported as likely invariants. Like other dynamic techniques such as testing, the quality of the output depends in part on the comprehensiveness of the test suite. If the test suite is inadequate, then the output indicates how, permitting its improvement. Dynamic analysis complements static techniques, which can be made sound but for which certain program constructs remain beyond the state of the art. Experiments demonstrate a number of positive qualities of dynamic invariant detection and of a prototype implementation, Daikon. Invariant detection is accurate-it rediscovers formal specifications-and useful-it assists programmers in programming tasks. It runs quickly and produces output of modest size. Test suites found in practice tend to be adequate for dynamic invariant detection.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"49 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":"117274368","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

Software renewal process comprehension using dynamic effort estimation 使用动态工作量估算的软件更新过程理解

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972734

D. Caivano, F. Lanubile, G. Visaggio

引用次数: 23

Towards a business maintenance model 走向业务维护模型

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972763

M. Kajko-Mattsson

引用次数: 19

Assessing massive maintenance processes: an empirical study 评估大规模维护过程:一项实证研究

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972758

A. D. Lucia, Antonello Pannella, Eugenio Pompella, Silvio Stefanucci

引用次数: 13

A formal foundation for object-oriented software evolution 面向对象软件发展的正式基础

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972769

T. Mens

引用次数: 72

Automating language conversion: a case study (an extended abstract) 自动化语言转换:一个案例研究(扩展摘要)

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972782

A. Terekhov

引用次数: 20

Entropies as measures of software information 熵作为软件信息的度量

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 Pub Date : 2001-11-07 DOI: 10.1109/ICSM.2001.972721

S. Abd-El-Hafiz

{"title":"Entropies as measures of software information","authors":"S. Abd-El-Hafiz","doi":"10.1109/ICSM.2001.972721","DOIUrl":"https://doi.org/10.1109/ICSM.2001.972721","url":null,"abstract":"This paper investigates the use of entropies as measures of software information content. Several entropies, including the well-known Shannon entropy, are characterized by their mathematical properties. Based on these characterizations, the entropies, which are suitable for measuring software systems, are rigorously chosen. By treating a software system as an information source, the function calls in procedural systems or method invocations in object-oriented systems resemble the emission of symbols from an information source. Thus, the probabilities, required for computing the entropies, are obtained using an empirical distribution of function calls or method invocations. Application of the suggested measures on procedural and object-oriented programs is further explained using two small examples. Because a. rigorous definition of information measures does not guarantee their usefulness in practice, an evaluation case study is performed In particular, the aim of this study is to practically evaluate the intuitiveness and scalability of the measures on a real software system totaling about 460000 lines of code. In addition to being intuitive and meaningful, the case study results highlight differences between the information measures. Thus, the family of measures presented can satisfy different measurement requirements.","PeriodicalId":160032,"journal":{"name":"Proceedings IEEE International Conference on Software Maintenance. ICSM 2001","volume":"19 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":"123860097","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}

引用次数: 32