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

2018 Combined Workshops of the German software engineering Conference, SE-WS 2018

作者： Juhnke, Katharina Tichy, Matthias Houdek, Frank Daimler AG Group Research and MBC Development Ulm Germany Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

Testing is an important quality assurance activity during development of automotive software. Automotive OEMs and suppliers use test case specifications to specify, mostly informal, test cases as well as supporting information like traces to requirements. While the quality of the test case specifications has a high influence on the quality of the subsequent testing, quality of informal automotive test case specifications have not been investigated yet. In this paper, we present 7 potential quality indicators, ranging from requirement coverage to contents of a test step. The quality indicators have been identified in a case study of 816 current test case specifications specified by an OEM and suppliers. © 2018 CEUR-WS. All rights reserved.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Challenges Concerning Test Case Specifications in Automotive software Testing

Challenges Concerning Test Case Specifications in Automotive...

引用

Euromicro Conference on software engineering and Advanced Applications (SEAA)

作者： Katharina Juhnke Matthias Tichy Frank Houdek Daimler AG Group Research & MBC Development Ulm Germany Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

ISBN: (纸本)9781538673843

Test case specifications are a fundamental part of a structured test process and required by standards like ISO 26262 in the automotive domain. Test cases are usually derived from requirements and provide a necessary basis for test implementation and execution. The aim of this work is to gain insights into the creation and processing of test case specifications from a practitioner's point of view. We decided on an explorative case study to identify challenges related to three problem areas: creation, processing and quality assessment related aspects of test case specifications. We conducted 17 semi-structured interviews covering a German OEM and three automotive suppliers. Afterwards, we analyzed the collected data qualitatively to identify challenges as well as causes and consequences arising from them. The identified challenges were categorized in a taxonomy consisting of nine main categories: (1) availability and (2) content-related problems with input artifacts, problems related to (3) a lack of knowledge, (4) the test case description, (5) the content of a test case specification, (6) quality assurance, (7) processes, (8) communication, and (9) tools. Overall, we observed a present awareness of the identified challenges, which is evident from different solutions to handle these challenges. Nevertheless, some of the current solutions are not efficient and still require a lot of manual work, for instance phrasing-based problems in test cases.

关键词： Automotive engineering Interviews software testing Tools software Encoding

来源：评论

学校读者我要写书评

暂无评论

On multi-language software development, cross-language links and accompanying tools: a survey of professional software developers

引用

Journal of software engineering Research and Development 2017年第1期5卷 1-33页

作者： Philip Mayer Michael Kirsch Minh Anh Le Programming & Software Engineering Group Ludwig-Maximilians-Universität München München Germany Statistical Consulting Unit StaBLab Ludwig-Maximilians-Universität München München Germany

Non-trivial software systems are written using multiple (programming) languages, which are connected by cross-language links. The existence of such links may lead to various problems during software development. There is little empirical evidence on the incidence of these problems and the experiences of professional developers in this field. We want to provide empirical evidence on multi-language software development, cross-language linking, and tool support in industry, including the views of professional developers on benefits and problems in these areas. We conducted a survey study to gather responses from 139 professional software developers. Respondents reported an average of 7 languages and 3 linked language pairs per project. Respondents saw benefits of multi-language development for the motivation of developers and the translation of requirements, but problems in understandability and changeability. Over 90% of respondents reported problems related to cross-language linking. Developers universally agree on the usefulness of tool support. Multi-language programming and cross-language linking seem common but lead to several problems. We suggest that future practical as well as research efforts focus on these issues by creating appropriate tool support and by developing better techniques for cross-language linking for improved changeability and understandability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An empirical analysis of the utilization of multiple programming languages in open source projects 15

An empirical analysis of the utilization of multiple program...

引用

19th International Conference on Evaluation and Assessment in software engineering, EASE 2015

作者： Mayer, Philip Bauer, Alexander Programming and Software Engineering Group Ludwig-Maximilians-Universität München Germany Statistical Consulting Unit Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9781450333504

Background: Anecdotal evidence suggests that software applications are usually implemented using a combination of (programming) languages. Aim: We want to provide empirical evidence on the phenomenon of multi-language programming. Methods: We use data mining of 1150 open source projects selected for diversity from a public repository to a) investigate the projects for number and type of languages found and the relative sizes of the languages;b) report on associations between the number of languages found and the size, age, number of contributors, and number of commits of a project using a (Quasi-)Poisson regression model, and c) discuss concrete associations between the generalpurpose languages and domain-specific languages found using frequent item set mining. Results: We found a) a mean number of 5 languages per project with a clearly dominant main general-purpose language and 5 often-used DSL types, b) a significant influence of the size, number of commits, and the main language on the number of languages as well as no significant influence of age and number of contributors, and c) three language ecosystems grouped around XML, Shell/Make, and HTML/CSS. Conclusions: Multilanguage programming seems to be common in open-source projects and is a factor which must be dealt with in tooling and when assessing development and maintenance of such software systems. Copyright 2015 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： software Unified modeling language Automation Hardware Adaptation models Solid modeling Testing

来源：评论

学校读者我要写书评

暂无评论

Towards automated cross-language refactorings between Java and DSLs used by Java frameworks

Towards automated cross-language refactorings between Java a...

引用

2013 ACM Workshop on Refactoring Tools, WRT 2013

作者： Mayer, Philip Schroeder, Andreas Programming and Software Engineering Group Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9781450326049

Today, software applications are usually not written in just one programming language. In many cases, a general-purpose language such as Java is combined with multiple domain-specific languages (DSLs) for diverse purposes such as system configuration, UI description, or database querying. The artifacts defined in those different languages reference each other, often by name;in most cases these references are essential for the functionality of the overall system. This introduces problems if an artifact is refactored in any single language, since most current refactoring tools are not aware of language-external uses of the artifact. What is therefore needed is extended refactoring support across language boundaries. In this work, we explore the area of cross-language linking and refactoring, and present an approach and tool which we evaluate in a systematic fashion using automated renaming and unit testing on an open-source case study. Copyright is held by the owner/author(s).

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for Java

Xbase: Implementing domain-specific languages for Java

引用

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. This approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. Languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. The application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A type system for regular expressions

A type system for regular expressions

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for java 12

Xbase: Implementing domain-specific languages for java

引用

11th ACM International Conference on Generative programming and Component engineering, GPCE 2012

ISBN: (纸本)9781450311298

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：