检索结果-内蒙古大学图书馆

14th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2012 - Co-located with ECOOP 2012 and PLDI 2012

作者： Spishak, Eric Dietl, Werner Ernst, Michael D. Programming Languages and Software Engineering Group University of Washington United States

ISBN: (纸本)9781450312721

Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and different across programming languages. Such errors result in exceptions at run time, and there is currently no static support for preventing them. This paper describes practical experience designing and using a type system for regular expressions. This type system validates regular expression syntax and capturing group usage at compile time instead of at run time - -ensuring the absence of PatternSyntaxExceptions from invalid syntax and IndexOutOfBoundsExceptions from accessing invalid capturing groups. Our implementation is publicly available and supports the full Java language. In an evaluation on five open-source Java applications (480kLOC), the type system was easy to use, required less than one annotation per two thousand lines, and found 56 previously-unknown bugs. © 2012 ACM.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

A constraint-based variability modeling framework

引用

International Journal on software Tools for Technology Transfer 2012年第5期14卷 511-530页

作者： Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany

Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Approaches for mastering change

Approaches for mastering change

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Schaefer, Ina Lochau, Malte Leucker, Martin Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9783642340253

Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software product line engineering [6,14]. Furthermore, software systems have to evolve over time in order to dealwith changing requirements which is referred to by the term temporal evolvability [10,13]. Additionally, modern software systems are designed to dynamically adapt their internal structure and behavior at runtime dependent on their environment in order to efficiently use the available resources, such as energy or computing power [5]. These three dimensions of change, static variability, temporal evolvability and dynamic adaptation, increase the complexity of system development in all phase, from requirements engineering and system design to implementation and quality assurance. In [15], the challenges of static variability and temporal evolution in all phases of the software development process are discussed. In [15], the engineering challenges of self-adaptive systems are described and future research directions are pointed out. © 2012 Springer-Verlag.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

A formal approach to software product families

A formal approach to software product families

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Leucker, Martin Thoma, Daniel Institute for Software Engineering and Programming Languages Universität Zu Lübeck Germany

ISBN: (纸本)9783642340253

software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

2012 1st International Workshop on Formal Methods in software engineering: Rigorous and Agile Approaches, FormSERA 2012

作者： Neubauer, Johannes Steffen, Bernhard Bauer, Oliver Windmüller, Stephan Merten, Maik Margaria, Tiziana Howar, Falk Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering University Potsdam Germany

ISBN: (纸本)9781467319065

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product. © 2012 IEEE.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Cross-language code analysis and refactoring

Cross-language code analysis and refactoring

引用

2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012

作者： Mayer, Philip Schroeder, Andreas Department of Programming and Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9780769547831

software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages reference one another, thus creating what we call semantic cross-language links. By their very nature, such links are out of scope of the individual programming language, they are ignored by most language-specific tools and are often only established - and checked for errors - at runtime. This is unfortunate since it requires additional testing, leads to brittle code, and lessens maintainability. In this paper, we advocate a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single-language code today. © 2012 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Incremental model-based testing of delta-oriented software product lines

引用

6th International Conference on Tests and Proofs, TAP 2012

作者： Lochau, Malte Schaefer, Ina Kamischke, Jochen Lity, Sascha TU Braunschweig Institute for Programming and Reactive Systems Germany TU Braunschweig Institute for Software Systems Engineering Germany

ISBN: (纸本)9783642304729

software product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasible due to the large number of product variants. Hence, a systematic approach that applies SPL reuse principles also to testing of SPLs in a safe and efficient way is essential. To address this issue, we propose a novel, model-based SPL testing framework that is based on a delta-oriented SPL test model and regression-based test artifact derivations. Test artifacts are incrementally constructed for every product variant by explicitly considering commonality and variability between two consecutive products under test. The resulting SPL testing process is proven to guarantee stable test coverage for every product variant and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We compare our approach with an alternative SPL testing strategy by means of a case study from the automotive domain. © 2012 Springer-Verlag.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

Simplicity principles for plug-in development: The jABC appr...

引用

2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012

作者： Naujokat, Stefan Lamprecht, Anna-Lena Steffen, Bernhard Jörges, Sven Margaria, Tiziana Department of Programming Systems TU Dortmund 44227 Germany Department of Service and Software Engineering University Potsdam 14482 Germany

ISBN: (纸本)9781467318204

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for "lightweight plug-in development", that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins. © 2012 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Delta-oriented model-based SPL regression testing

Delta-oriented model-based SPL regression testing

引用

2012 3rd International Workshop on Product LinE Approaches in software engineering, PLEASE 2012

作者： Lity, Sascha Lochau, Malte Schaefer, Ina Goltz, Ursula TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute for Software Systems Engineering Braunschweig Germany

ISBN: (纸本)9781467317511

Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifacts in a concise way is essential. We address this open issue by a novel, model-based SPL testing framework based on reusable delta-oriented state machine test models and regression-based test suite evolution. Therein, SPL test artifacts are incrementally evolved for every product variant by explicitly considering commonality and variability between two subsequent products under test. Our approach guarantees for every product configuration stable test coverage and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We illustrate our framework by means of an automotive case study and compare our experimental results with alternative SPL testing strategies w.r.t. efficiency improvements. © 2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Verification games: Making verification fun

Verification games: Making verification fun

引用

14th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2012 - Co-located with ECOOP 2012 and PLDI 2012

作者： Dietl, Werner Dietzel, Stephanie Ernst, Michael D. Mote, Nathaniel Walker, Brian Cooper, Seth Pavlik, Timothy Popović, Zoran Programming Languages and Software Engineering Group University of Washington United States Center for Game Science University of Washington United States

ISBN: (纸本)9781450312721

Program verification is the only way to be certain that a given piece of software is free of (certain types of) errors - - errors that could otherwise disrupt operations in the field. To date, formal verification has been done by specially-trained engineers. Labor costs have heretofore made formal verification too costly to apply beyond small, critical software components. Our goal is to make verification more cost-effective by reducing the skill set required for program verification and increasing the pool of people capable of performing program verification. Our approach is to transform the verification task (a program and a goal property) into a visual puzzle task - a game - that gets solved by people. The solution of the puzzle is then translated back into a proof of correctness. The puzzle is engaging and intuitive enough that ordinary people can through game-play become experts. This paper presents a status report on the Verification Games project and our Pipe Jam prototype game. © 2012 ACM.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：