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

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

作者： Lesta, Uwe Schaefer, Ina Winkelmann, Tim Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Braunschweig Germany

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable or that there are contradictions in the variability model. In this paper, we propose an approach to discover and to explain contradictions in attributed feature models efficiently in order to assist the developer with the correction of mistakes. We use extended feature models with attributes and arithmetic constraints, translate them into a constraint satisfaction problem and explore those for contradictions. When a contradiction is found, the constraints are searched for a set of contradicting relations by the QuickXplain algorithm. © 2015, Open Publishing Association. All rights reserved.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Towards efficient and effective testing in automotive software development 44

Towards efficient and effective testing in automotive softwa...

引用

44. Jahrestagung der Gesellschaft fur Informatik INFORMATIK 2014 - Big Data - Komplexitat meistern - Big Data - Mastering Complexity: 44th Annual Meeting of the Society for Computer Science, informatics 2014

作者： Lachmann, Remo Schaefer, Ina Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Braunschweig38106 Germany

ISBN: (纸本)9783885796268

software systems become more and more complex and control safety-critical applications. Hence, efficient and effective testing procedures are required in order to ensure software and system quality. automotive software engineering has particular challenges with respect to efficient and effective testing, such as black-box test scenarios, natural language specifications and highly manual testing activities. In this paper, we present six automotive testing challenges and suitable approaches to solve them. We cover uniform test case specification to remove redundancies in test cases, automatic test case selection and prioritization, test case combination, and machine learning techniques for regression test selection. The presented approaches are illustrated by a case study from the automotive domain.

关键词： software quality

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Using decision rules for solving conflicts in extended feature models 8

Using decision rules for solving conflicts in extended featu...

引用

8th ACM SIGPLAN International Conference on software Language engineering, SLE 2015

作者： Ochoa, Lina González-Rojas, Oscar Thüm, Thomas Systems and Computing Engineering Department School of Engineering Universidad de Los Andes Bogotá Colombia Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Brunswick Germany

ISBN: (纸本)9781450336864

software Product Line engineering has introduced feature modeling as a domain analysis technique used to represent the variability of software products and decision-making scenarios. We present a model-based transformation approach to solve conflicts among configurations performed by different stakeholders on feature models. We propose the usage of a domain-specific language named CoCo to specify attributes as non-functional properties of features, and to describe busineb-related decision rules in terms of costs, time, and human resources. These specifications along with the stakeholders' configurations and the feature model are transformed into a constraint programming problem, on which decision rules are executed to find a non-conflicting set of solution configurations that are aligned to busineb objectives. We evaluate CoCo's compositionality and model complexity simplification while using a set of motivating decision scenarios. © 2015 ACM.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Automated Reuse of Test Cases for Highly Configurable software Systems

Automated Reuse of Test Cases for Highly Configurable Softwa...

引用

Fachtagung des GI-Fachbereichs softwaretechnik, software engineering 2021 - Conference of the GI software engineering Section, SE 2021

作者： Fischer, Stefan Michelon, Gabriela Karoline Ramler, Rudolf Linsbauer, Lukas Egyed, Alexander Hagenberg Austria Johannes Kepler University Institute for Software Systems Engineering Linz Austria LIT Secure and Correct Systems Lab Linz Austria Technische Universität Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany

ISBN: (纸本)9783885797043

In this work, we report about our research results [Fi20] initially published in the journal Empirical software engineering, volume 25, issue 6, pp. 5295-5332, November 2020, https://***/10.1007/s10664-020-09884-x. We performed experiments on test reusability across configurations of highly configurable software systems. First, we used manually written tests for specific configurations of three configurable systems and investigated how changing configuration options affects these tests. Subsequently, we applied an approach developed for automated reuse, ECCO (Extraction and Composition for Clone-and-Own), to automatically generate tests for new configurations from the existing, manually written tests. The experiments showed that our generated tests had a higher or equal success rate compared to direct reuse and they generally achieved a higher code coverage. It can be concluded that automating the reuse of tests for configurable software can substantially reduce the effort for adapting existing tests and it supports a rigorous testing process. © 2020 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Dependable ADAS by combining design time testing and runtime monitoring 10

Dependable ADAS by combining design time testing and runtime...

引用

10th Symposium on Formal Methods for Automation and Safety in Railway and automotive Systems, FORMS/FORMAT 2014

作者： Mauritz, Malte Rausch, Andreas Schaefer, Ina Institute for Applied Software Systems Engineering Technical University Clausthal Wallstraße 6 Goslar38640 Germany Institute of Software Engineering and Automotive Informatics Technical University Braunschweig Mühlenpfordtstr. 23 Braunschweig38106 Germany

ISBN: (纸本)9783981688665

The increasing degree of the complexity of advanced driver assistance systems (ADAS) requires sound, but efficient methods to ensure the ADAS' dependability. Common vehicle field tests cannot fully guarantee the system's dependability, since they need too many miles to be driven in order to prove that the system is safe. Modern test and simulation environments only verify a part of the real situations the system encounters. In order to ensure the dependability of ADAS, we propose the combination of design time testing and runtime monitoring. The test cases, which are successfully executed at design-time, are transferred to runtime monitoring in order to verify if the system remains within its tested and safe behaviour. Otherwise, no guarantees about the dependability of the vehicle can be given. We will evaluate our approach with an advanced lane changing assistance system.

关键词： Advanced driver assistance systems

来源：评论

学校读者我要写书评

暂无评论

Adaptable and evolving software for eternal systems

Adaptable and evolving software for eternal systems

引用

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

作者： Hähnle, Reiner Schaefer, Ina Department of Computer Science Technische Universität Darmstadt 64289 Darmstadt Germany Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig D-38106 Braunschweig Germany

ISBN: (纸本)9783642340253

Modern software systems are extremely long-lived and have to adapt to changing user requirements and evolving environment conditions, such as different hardware or resource constraints [6,9]. Furthermore, they have to remain operational over long periods of time which requires to alter their functional or non-functional behavior without halting the system's operation [3]. These phenomena related to evolving and long-lived software systems pose new challenges for software engineering concepts, methods and tools. © 2012 Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Evaluation of highway-pilot function based on FMEA safety analysis

引用

Periodica Polytechnica Transportation engineering 2020年第3期48卷 253-259页

作者： Bényei, Ádám Vida, Gabor Pintér, Krisztián Szalay, Zsolt Ágoston, György Department of Automotive Technologies Faculty of Transportation Engineering and Vehicle Engineering Budapest University of Technology and Economics P. O. B. 91 BudapestH-1521 Hungary Department of Software Development and Application Institute of Informatics University of Dunaújváros Dunaújváros P. O. B. 152 H-2401 Hungary

Cybersecurity is becoming more and more relevant. Autonomous vehicles handle large amounts of data and can connect to more and more existing devices, smartphones, tablets, or even other cars and systems. This poses the risk of unauthorized access to data. Theoretically cars have separate computer units, operate in isolation, and are not connected, so there is less possibility to be attacked. However if the vehicles are interconnected, hackers can have easier access to personal data. They can get information about the location of the car owner, their typical trips, and, for example, allow an intruder to know when the tracked person is not at home. Furthermore it can also be happened that the vehicle operation is maliciously disturbed, which can result in a security risk for the passengers. In extreme cases, computer terrorist attacks can also be prepared - large-scale interventions on roads can lead to chaos across a region or country. In accordance with the introduced threats, it is a crucial objective of this research to indicate specific methods, which can help the industry to evaluate and prepare for these kinds of attacks in a proper way. © 2020 Budapest University of Technology and Economics. All rights reserved.

关键词： Vehicle safety

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：