2011 33rd International Conference on Software Engineering (ICSE)最新文献_第8页

ReAssert: a tool for repairing broken unit tests 重装:修复损坏的单元测试的工具

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985978

Brett Daniel, Danny Dig, Tihomir Gvero, V. Jagannath, Johnston Jiaa, Damion R. Mitchell, J. Nogiec, Shin Hwei Tan, D. Marinov

引用次数: 24

Practical change impact analysis based on static program slicing for industrial software systems 基于静态程序切片的工业软件系统实际变更影响分析

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985898

Mithun P. Acharya, Brian P. Robinson

{"title":"Practical change impact analysis based on static program slicing for industrial software systems","authors":"Mithun P. Acharya, Brian P. Robinson","doi":"10.1145/1985793.1985898","DOIUrl":"https://doi.org/10.1145/1985793.1985898","url":null,"abstract":"Change impact analysis, i.e., knowing the potential consequences of a software change, is critical for the risk analysis, developer effort estimation, and regression testing of evolving software. Static program slicing is an attractive option for enabling routine change impact analysis for newly committed changesets during daily software build. For small programs with a few thousand lines of code, static program slicing scales well and can assist precise change impact analysis. However, as we demonstrate in this paper, static program slicing faces unique challenges when applied routinely on large and evolving industrial software systems. Despite recent advances in static program slicing, to our knowledge, there have been no studies of static change impact analysis applied on large and evolving industrial software systems. In this paper, we share our experiences in designing a static change impact analysis framework for such software systems. We have implemented our framework as a tool called Imp and have applied Imp on an industrial codebase with over a million lines of C/ C++ code with promising empirical results.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130287060","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}

引用次数: 123

Third international workshop on search-driven development: users, infrastructure, tools, and evaluation (SUITE 2011) 第三届搜索驱动开发国际研讨会:用户、基础设施、工具和评估(SUITE 2011)

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986059

S. Bajracharya, Adrian Kuhn, Y. Ye

引用次数: 1

Miler: a toolset for exploring email data miller:一个探索电子邮件数据的工具集

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985984

Alberto Bacchelli, Michele Lanza, Marco D'Ambros

{"title":"Miler: a toolset for exploring email data","authors":"Alberto Bacchelli, Michele Lanza, Marco D'Ambros","doi":"10.1145/1985793.1985984","DOIUrl":"https://doi.org/10.1145/1985793.1985984","url":null,"abstract":"Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of human efforts, where communication plays a pivotal role. One of the most used communications means are emails, which have become vital for any distributed development project. Analyzing email archives is non-trivial, due to the noisy and unstructured nature of emails, the vast amounts of information, the unstandardized storage systems, and the gap with development tools. We present Miler, a toolset that allows the exploration of this form of communication, in the context of software maintenance and evolution. With Miler we can retrieve data from mailing list repositories in different formats, model emails as first-class entities, and transparently store them in databases. Miler offers tools and support for navigating the content, manually labelling emails with discussed source code entities, automatically linking emails to source code, measuring code entities' popularity in mailing lists, exposing structured content in the unstructured content, and integrating email communication in an IDE.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129458015","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}

引用次数: 15

Why software quality improvement fails: (and how to succeed nevertheless) 为什么软件质量改进会失败:(以及如何成功)

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985895

Jonathan Streit, M. Pizka

引用次数: 10

GATE: game-based testing environment GATE:基于游戏的测试环境

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986000

Ning Chen

引用次数: 4

Symbolic model checking of software product lines 软件产品线的符号模型检验

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985838

Andreas Classen, P. Heymans, Pierre-Yves Schobbens, Axel Legay

{"title":"Symbolic model checking of software product lines","authors":"Andreas Classen, P. Heymans, Pierre-Yves Schobbens, Axel Legay","doi":"10.1145/1985793.1985838","DOIUrl":"https://doi.org/10.1145/1985793.1985838","url":null,"abstract":"We study the problem of model checking software product line (SPL) behaviours against temporal properties. This is more difficult than for single systems because an SPL with n features yields up to 2n individual systems to verify. As each individual verification suffers from state explosion, it is crucial to propose efficient formalisms and heuristics. We recently proposed featured transition systems (FTS), a compact representation for SPL behaviour, and defined algorithms for model checking FTS against linear temporal properties. Although they showed to outperform individual system verifications, they still face a state explosion problem as they enumerate and visit system states one by one. In this paper, we tackle this latter problem by using symbolic representations of the state space. This lead us to consider computation tree logic (CTL) which is supported by the industry-strength symbolic model checker NuSMV. We first lay the foundations for symbolic SPL model checking by defining a feature-oriented version of CTL and its dedicated algorithms. We then describe an implementation that adapts the NuSMV language and tool infrastructure. Finally, we propose theoretical and empirical evaluations of our results. The benchmarks show that for certain properties, our algorithm is over a hundred times faster than model checking each system with the standard algorithm.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132224261","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}

引用次数: 224

Requirements tracing: discovering related documents through artificial pheromones and term proximity 需求追踪:通过人工信息素和术语接近发现相关文档

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986033

Hakim Sultanov

引用次数: 2

Tracking data structures for postmortem analysis: (NIER track) 用于事后分析的跟踪数据结构:(NIER跟踪)

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985938

Xiao Xiao, Jinguo Zhou, Charles Zhang

引用次数: 7

Searching, selecting, and synthesizing source code 搜索、选择和合成源代码

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986013

Collin McMillan

引用次数: 7