ESEC/FSE '11最新文献_第6页

SafeSlice: a model slicing and design safety inspection tool for SysML SafeSlice: SysML的模型切片和设计安全检查工具

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025191

D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand, Antonio Messina

{"title":"SafeSlice: a model slicing and design safety inspection tool for SysML","authors":"D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand, Antonio Messina","doi":"10.1145/2025113.2025191","DOIUrl":"https://doi.org/10.1145/2025113.2025191","url":null,"abstract":"Software safety certification involves checking that the software design meets the (software) safety requirements. In practice, inspections are one of the primary vehicles for ensuring that safety requirements are satisfied by the design. Unless the safety-related aspects of the design are clearly delineated, the inspections conducted by safety assessors would have to consider the entire design, although only small fragments of the design may be related to safety. In a model-driven development context, this means that the assessors have to browse through large models, understand them, and identify the safety-related fragments. This is time-consuming and error-prone, specially noting that the assessors are often third-party regulatory bodies who were not involved in the design. To address this problem, we describe in this paper a prototype tool called, SafeSlice, that enables one to automatically extract the safety-related slices (fragments) of design models. The main enabler for our slicing technique is the traceability between the safety requirements and the design, established by following a structured design methodology that we propose. Our work is grounded on SysML, which is being increasingly used for expressing the design of safety-critical systems. We have validated our work through two case studies and a control experiment which we briefly outline in the paper.","PeriodicalId":184518,"journal":{"name":"ESEC/FSE '11","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124592035","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}

引用次数: 28

Using an SMT solver for interactive requirements prioritization 使用SMT求解器进行交互式需求优先级排序

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025124

Francis Palma, A. Susi, P. Tonella

引用次数: 25

Sydit: creating and applying a program transformation from an example Sydit:从一个例子中创建和应用程序转换

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025185

Na Meng, Miryung Kim, K. McKinley

{"title":"Sydit: creating and applying a program transformation from an example","authors":"Na Meng, Miryung Kim, K. McKinley","doi":"10.1145/2025113.2025185","DOIUrl":"https://doi.org/10.1145/2025113.2025185","url":null,"abstract":"Bug fixes and feature additions to large code bases often require systematic edits-similar, but not identical, coordinated changes to multiple places. This process is tedious and error-prone. Our prior work introduces a systematic editing approach that creates generalized edit scripts from exemplar edits and applies them to user-selected targets. This paper describes how the Sydit plug-in integrates our technology into the Eclipse integrated development environment. A programmer provides an example edit to Sydit that consists of an old and new version of a changed method. Based on this one example, Sydit generates a context-aware, abstract edit script. To make transformations applicable to similar but not identical methods, Sydit encodes control, data, and containment dependences and abstracts position, type, method, and variable names. Then the programmer selects target methods and Sydit customizes the edit script to each target and displays the results for the programmer to review and approve. Sydit thus automates much of the systematic editing process. To fully automate systematic editing, future tool enhancements should include automated selection of targets and testing of Sydit generated edits.","PeriodicalId":184518,"journal":{"name":"ESEC/FSE '11","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121661193","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}

引用次数: 37

ADDiff: semantic differencing for activity diagrams addff:活动图的语义差异

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025140

S. Maoz, Jan Oliver Ringert, Bernhard Rumpe

{"title":"ADDiff: semantic differencing for activity diagrams","authors":"S. Maoz, Jan Oliver Ringert, Bernhard Rumpe","doi":"10.1145/2025113.2025140","DOIUrl":"https://doi.org/10.1145/2025113.2025140","url":null,"abstract":"Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to simulation and code generation. As models, programs, and systems evolve over time, understanding changes and their impact is an important challenge, which has attracted much research efforts in recent years.\u0000 In this paper we present addiff, a semantic differencing operator for ADs. Unlike most existing approaches to model comparison, which compare the concrete or the abstract syntax of two given diagrams and output a list of syntactical changes or edit operations, addiff considers the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an execution trace that is possible in the first AD and is not possible in the second. We motivate the use of addiff, formally define it, and show two algorithms to compute it, a concrete forward-search algorithm and a symbolic fixpoint algorithm, implemented using BDDs and integrated into the Eclipse IDE. Empirical results and examples demonstrate the feasibility and unique contribution of addiff to the state-of-the-art in version comparison and evolution analysis.","PeriodicalId":184518,"journal":{"name":"ESEC/FSE '11","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121674097","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}

引用次数: 88

Join point interfaces for modular reasoning in aspect-oriented programs 面向方面程序中用于模块化推理的连接点接口

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025205

Milton Inostroza, É. Tanter, E. Bodden

{"title":"Join point interfaces for modular reasoning in aspect-oriented programs","authors":"Milton Inostroza, É. Tanter, E. Bodden","doi":"10.1145/2025113.2025205","DOIUrl":"https://doi.org/10.1145/2025113.2025205","url":null,"abstract":"While aspect-oriented programming supports the modular definition of crosscutting concerns, most approaches to aspect- oriented programming fail to improve, or even preserve, modular reasoning. The main problem is that aspects usually carry, through their pointcuts, explicit references to the base code. These dependencies make programs fragile. Changes in the base code can unwittingly break a pointcut definition, rendering the aspect ineffective or causing spurious matches. Conversely, a change in a pointcut definition may cause parts of the base code to be advised without notice. Therefore separate development of aspect-oriented programs is largely compromised, which in turns seriously hinders the adoption of aspect-oriented programming by practitioners. We propose to separate base code and aspects using Join Point Interfaces, which are contracts between aspects and base code. Base code can define pointcuts that expose selected join points through a Join Point Interface. Conversely, an aspect can offer to advise join points that pro- vide a given Join Point Interface. Crucially, however, aspect themselves cannot contain pointcuts, and hence cannot refer to base code elements. In addition, because a given join point can provide several Join Point Interfaces, and Join Point Interfaces can be organized in a subtype hierarchy, our approach supports join point polymorphism. We describe a novel advice dispatch mechanism that offers a flexible and type-safe approach to aspect reuse.","PeriodicalId":184518,"journal":{"name":"ESEC/FSE '11","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131682779","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}

引用次数: 31

EvoSuite: automatic test suite generation for object-oriented software EvoSuite:自动生成面向对象软件的测试套件

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025179

G. Fraser, Andrea Arcuri

引用次数: 892

Version-consistent dynamic reconfiguration of component-based distributed systems 基于组件的分布式系统的版本一致动态重配置

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025148

Xiaoxing Ma, L. Baresi, C. Ghezzi, V. Manna, Jian Lu

引用次数: 63

Workshop on assurances for self-adaptive systems (ASAS 2011) 自适应系统保证研讨会(ASAS 2011)

ESEC/FSE '11 Pub Date : 2011-09-05 DOI: 10.1145/2025113.2025208

J. Cámara, R. Lemos, C. Ghezzi, A. Lopes