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

6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE 2015

作者： Luthmann, Lars Mennicke, Stephan Lochau, Malte Institute for Programming and Reactive Systems TU Braunschweig Germany Realtime Systems Lab. TU Darmstadt Germany

We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies on Modal Interface Automata (MIA) as behavioral specification formalism. MIA enrich I/O-labeled transition systems with may/must modalities to distinguish mandatory from optional behavior, thus providing a semantic notion of intrinsic behavioral variability. In particular, MIA constitute a restricted, yet fully expressive subclass of I/O-labeled modal transition systems, guaranteeing desirable refinement and compositionality properties. The resulting modal-ioco relation defined on MIA is preserved under MIA refinement, which serves as variant derivation mechanism in our product line testing theory. As a result, modal-ioco is proven correct in the sense that it coincides with traditional ioco to hold for every derivable implementation variant. Based on this result, a family-based product line conformance testing framework can be established. © L. Luthmann, S. Mennicke & M. Lochau.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2017年 1989卷 5-7页

作者： Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia

来源：评论

学校读者我要写书评

暂无评论

Delta-Oriented test case prioritization for integration testing of software product lines 15

Delta-Oriented test case prioritization for integration test...

引用

19th International Software Product Line Conference, SPLC 2015

作者： Lachmann, Remo Lity, Sascha Lischke, Sabrina Beddig, Simon Schulze, Sandro Schaefer, Ina Institute of Software Engineering and Automotive Informatics Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450336130

Software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in software testing. Ideally, every product variant should be tested, especially in safety-critical systems. However, due to the exponentially increasing number of product variants, testing every product variant is not feasible. Thus, new concepts and techniques are required to provide efficient SPL testing strategies exploiting the commonalities of software artifacts between product variants to reduce redundancy in testing. In this paper, we present an efficient integration testing approach for SPLs based on delta modeling. We focus on test case prioritization. As a result, only the most important test cases for every product variant are tested, reducing the number of executed test cases significantly, as testing can stop at any given point because of resource constraints while ensuring that the most important test cases have been covered. We present the general concept and our evaluation results. The results show a measurable reduction of executed test cases compared to single-software testing approaches. © 2015 ACM.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Low-complexity PDoA-based localization

Low-complexity PDoA-based localization

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany

Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques. This paper presents a concept for energy-efficient low-complexity localization based on Phase Difference of Arrival (PDoA). Besides a novel method for reference transmitter selection we propose a waveform, well-suited for PDoA measurements, and evaluate its ranging performance. We compare multiple signal classification (MUSIC), linear fitting, and mean phase difference and compare their estimation variance to the Cramer Rao Lower Bound (CRLB). Our system concept allows for the mitigation of near-far effects for reference and tag signals at the receiver nodes, and an efficient implementation of a wideband frequency hopping scheme.

关键词： Signal to noise ratio Logic gates Transmitters Distance measurement Position measurement Phase locked loops

来源：评论

学校读者我要写书评

暂无评论

Re-engineering automation systems as dynamic software product lines 11

Re-engineering automation systems as dynamic software produc...

引用

11th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2015 - 11th Dagstuhl-Workshop on Model-Based Development of Embedded systems, MBEES 2015

作者： Lity, Sascha Burdek, Johannes Lochau, Malte Berens, Markus Schurr, Andy Schaefer, Ina Institute for Programming and Reactive Systems TU Braunschweig Germany Real-Time Systems Lab TU Darmstadt Germany Eckelmann AG Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany

Software engineering is an important development task in the automation domain due to the increasing number of embedded systems applied for controlling various system functions. In general, those automation systems are highly configurable, but share common functionality and engineering artifacts. If the knowledge about commonality and variability is not taken into account, this would result in a separate development process for each new system without reusing engineering artifacts. Software product line engineering is a promising approach for the development of highly configurable automation systems explicitly exploiting the knowledge about commonality and variability. In addition to the specification of the problem space, i.e., all possible system configurations derivable from a feature model, reusable engineering artifacts are defined in the solution space by incorporating variability mechanisms. In this paper, we describe the re-engineering of an existing family of automation systems, a medical device for a novel radiotherapy, i.e., as a software product line. According to the concepts of software product line engineering, we describe (1) how we created a corresponding feature model for the problem space specification, and (2) how we integrated variability modeling into existing engineering artifacts. We provide details about our real-world case study and further explain the adaptation of its re-engineered version as dynamic software product line allowing for re-configuration at runtime. © Tagungsband - Dagstuhl-Workshop MBEES 2015: Modellbasierte Entwicklung Eingebetteter Systeme XI. All rights reserved.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Revealing academic web interlinking motives through webometrics and statistical techniques: Nigerian university websites as a case study

引用

International Journal of Web Engineering and Technology 2016年第4期11卷 335-350页

作者： Nwohiri, Anthony M. Pechnikov, Andrey A. Department of Programming Technologies Faculty of Applied Mathematics and Control Processes St. Petersburg State University 7-9 Universitetskaya Naberezhnaya St. Petersburg199034 Russia Laboratory for Telecommunications Systems Institute of Applied Mathematical Research Karelian Research Centre Russian Academy of Sciences Russia 11 Pushkinskaya Street Petrozavodsk Karelia Rep.185910 Russia

The websites of the universities of Africa's most populous country Nigeria were examined. The goal was to unearth the reasons why external hyperlinks are placed on these sites and identify any peculiarities by geographical location. Academic website interlinking motivations were formulated. Over 6,000 hyperlinks placed on the websites of 86 Nigerian universities were categorised under these interlinking motivations. Categorising the motivations by examining the source and target pages of each hyperlink was an arduous task. Statistical analysis offered a clearer picture of the interlinking motives. A chi-squared test revealed distinctive features, which are characteristic of specific geographical regions of Nigeria. The study serves as a route to further research on feasibility of findings in other developing countries. Results obtained could be of great importance for academic webpage developers and authors. The results could modify their work towards improving the use of hyperlinks as a major communication tool on the web. Copyright © 2016 Inderscience Enterprises Ltd.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Demo: Approximative event processing on sensor data streams 9

Demo: Approximative event processing on sensor data streams

引用

9th ACM International Conference on Distributed Event-Based systems, DEBS 2015

作者： Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany Department of Computer Science Programming Systems Group Erlangen Germany

ISBN: (纸本)9781450332866

Event-Based systems (EBS) can efficiently analyze large streams of sensor data in near-realtime. But they struggle with noise or incompleteness that is seen in the unprecedented amount of data generated by the Internet of Things. We present a generic approach that deals with uncertain data in the middleware layer of distributed event-based systems and is hence transparent for developers. Our approach calculates alternative paths to improve the overall result of the data analysis. It dynamically generates, updates, and evaluates Bayesian Networks based on probability measures and rules defined by developers. An evaluation on position data shows that the improved detection rate justifies the computational overhead.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Medical Software User Interfaces, Stroke MD application design

Medical Software User Interfaces, Stroke MD application desi...

引用

E-Health and Bioengineering Conference

作者： Elena Zamsa Programming Systems department Institute of Mathematics and Computer Science IMI Chisinau Republic of Moldova

ISBN: (纸本)9781467375467

The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the system is to facilitate efficient visual data introduction and knowledge extraction based on a predictive model implementation. Aspects such as quality of the visualized data, type of the viewed data (risk factor groups, clustered groups, data alerts, conclusions etc.) and efficient user-software interaction directly influenced decisions about system design, in particular the design of the doctor's/patient's user interface sides, input methods and user-software interaction techniques, ending in to a hybrid setup of interface.

关键词： e-health medical software user interfaces stroke risk groups management systems

来源：评论

学校读者我要写书评

暂无评论

User-level synthesis: Treating product lines as systems of constraints 15

User-level synthesis: Treating product lines as systems of c...

引用

19th International Software Product Line Conference, SPLC 2015

作者： Steffen, Bernhard Lamprecht, Anna-Lena Margaria, Tiziana Department for Programming Systems TU Dortmund University Dortmund44227 Germany Institute for Informatics and Computational Science Potsdam University Potsdam14482 Germany Lero - Irish Software Research Centre University of Limerick Limerick Ireland

ISBN: (纸本)9781450336130

In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, as will also be illustrated along our example scenarios, this leads to a framework for a consistent division of labour in an "easy for the many difficult for the few" fashion which supports correctness by construction. Central for this approach are our powerful model-based synthesis and code generation technologies, which turn systems of constraints into executable models or target code. © 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards incremental model slicing for delta-oriented software product lines

Towards incremental model slicing for delta-oriented softwar...

引用

IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

作者： Sascha Lity Hauke Baller Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany

The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging due to their increasing complexity. Model slicing is a promising analysis technique to tackle this issue by abstracting from those parts not influencing the current point of interest. In the context of software product lines, applying model slicing separately for each variant is in general infeasible. Delta modeling allows exploiting the explicit specification of commonality and variability within deltas and enables the reuse of artifacts and already obtained results to reduce the modeling and analysis efforts. In this paper, we propose a novel approach for incremental model slicing for delta-oriented software product lines. Based on the specification of model changes between variants by means of model regression deltas, an incremental adaptation of variant-specific dependency graphs as well as an incremental slice computation is achieved. The slice computation further allows for the derivation of differences between slices for the same point of interest enhancing, e.g., change impact analysis. We provide details of our incremental approach, discuss benefits and present future work.

关键词： Computational modeling Adaptation models Unified modeling language Testing Analytical models Software systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：