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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Leveraging Applications of Formal Methods, Verification, and Validation 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen

ISBN: (数字)9783642347818

ISBN: (纸本)9783642347801

This volume contains a selection of revised papers that were presented at the software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery software engineering Computation by Abstract Devices Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：