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

International Workshop on Product Line Approaches in Software Engineering (PLEASE)

作者： Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany

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.

关键词： Testing Modeling Automotive engineering programming Adaptation models Software systems

来源：评论

学校读者我要写书评

暂无评论

Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems

Communication-free detection of resource conflicts in multi-...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Nguyen-Thinh Le Lukas Märtin Christopher Mumme Niels Pinkwart Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany

Multi-agent approaches can be applied to model behaviour and relations of entities in cyber-physical systems. Here entities frequently compete on insufficient resources (e.g., hardware) at the same time. Hence, resource conflicts between several agents are one of the most important conflict types in such multi-agent systems. These conflicts can significantly slow the operation of a system down, or in the worst case, might lead to a system halt. In this paper, we investigate the challenge of efficiently detecting resource conflicts. For this purpose, we introduce a conflict detection model based on beliefs of BDI agents. One benefit of our approach is that conflicts are detected using local belief state information of agents without communication. For evaluation purposes we apply our conflict detection model to a multi-agent system representing a transportation service with moving robots on a fictitious airport to measure the rate of collisions and completed transportation tasks. The evaluation study showed that the system deploying the conflict detection model can avoid collisions between moving agents and agents execute tasks successfully.

关键词： Multiagent systems Atmospheric modeling Roads Airports Radiation detectors Hardware

来源：评论

学校读者我要写书评

暂无评论

Ontology design for medical diagnostic knowledge

Advances in Intelligent and Soft Computing

引用

Advances in Intelligent and Soft Computing 2012年 99卷 175-189页

作者： Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland

ISBN: (纸本)9783642231711

The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods which are applied to analyze medical texts. As a result of the process, the semantic model of symptoms is generated. This model is a foundation for building a model of diagnostic technologies. The described methodology and the resulting model are developed specifically for the Polish language. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

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

引用

Workshop on Developing Tools as Plug-ins (TOPI)

作者： Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

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.

关键词： Generators Semantics programming Data models Java Load modeling Next generation networking

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

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

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.

关键词： Testing Learning automata Monitoring Adaptation models Quality assurance Machine learning

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

Towards integrated rule-driven software development for IT e...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems; the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems.

关键词： Ecosystems Unified modeling language programming Computer architecture Ontologies Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of Functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptation of process models - A semantic-based approach

Adaptation of process models - A semantic-based approach

引用

作者： Eisenbarth, Thomas Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Augsburg Germany

Semantic Business Process Management is an emerging research area to support enterprises achieving economic and strategic objectives and improving their daily business. However, the magnitude of changes which are required for models that capture the business processes is a challenge today. The necessity to change process models in order to stay synchronized with the reality is due to changing requirements within enterprises or external events like mergers and acquisitions, changing laws and reactions to changing markets. The approach we describe in this paper shows a way to automatically adapt existing process models when parts of a process have changed. We apply semantic technologies to the automatic planning approach for the adaptation. Copyright © 2011, Australian Computer Society Inc.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Structural Equivalence Partition and Boundary Testing

Structural Equivalence Partition and Boundary Testing

引用

2011 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2011 - 2011 Conference of the GI Division on Software Engineering, Software Engineering 2011

作者： Oster, Norbert Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen Germany

ISBN: (纸本)9783885792772

Structural (manual or automated) testing today often overlooks typical programming faults because of inherent flaws in the simple criteria applied (e.g. branch or all-uses). Dedicated testing strategies that address such faults (e.g. mutation testing) are not specifically designed for smart automatic test case generation. In this paper we present a new coverage criterion and its implementation that accomplishes both: it detects more faults and integrates easily into automated test case generation. The criterion is targeted towards unveiling faults that originate from shifts in the equivalence classes that are caused by small coding errors (inspired by mutation testing). On benchmark codes from the Java-API and from an open-source project we improve the fault detection capability by up to 41% compared to branch and all-use coverage. © Gesellschaft für Informatik, Bonn 2011.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：