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

2018 IEEE International Conference on engineering, Technology and Innovation, ICE/ITMC 2018

作者： Gutbrod, Matthias Munch, Jurgen Tichy, Matthias Faculty of Informatics Reutlingen University Reutlingen Germany Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

ISBN: (纸本)9781538614693

Early reduction of risks in a startup or an innovation project is highly important. Appropriate means for risk reduction, such as testing business models with different kinds of experiments exist. However, deciding what to test and how to select the right test, is challenging for many startups and innovation projects. This article presents the so-called Business Experiments Navigator (BEN), a toolkit to assist startup and innovation processes. It compliments other tools such as the Business Model Canvas or the Lean Startup process. The main contribution of BEN is to bridge the gap between the riskiest assumptions of a business model and the multitude of available testing techniques by providing assumption templates. The Business Experiments Navigator has been validated in several workshops. Results show that it creates awareness among the workshop participants that a business model is based on assumptions, which impose risks and need to be validated. Further, users of BEN were able to identify relevant assumptions and map different kinds of assumptions to appropriate testing techniques. The process applied in the workshops, as well as the assumption templates, helped the participants understand the main concepts and transfer their learnings, to their own business ideas. © 2018 IEEE.

关键词： Systems engineering

来源：评论

学校读者我要写书评

暂无评论

Quality indicators for automotive test case specifications

Quality indicators for automotive test case specifications

引用

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

来源：评论

学校读者我要写书评

暂无评论

Checking Consistency of Robot software Architectures in ROS

Checking Consistency of Robot Software Architectures in ROS

引用

Workshop on Robotics software engineering (RoSE)

作者： Thomas Witte Matthias Tichy Software Engineering and Programming Languages Ulm University

Context: The software architecture of complex robot systems is usually divided into components. The software is then the configuration and combination of those components and their connectors. Objective: In the Robot Operating System (ROS), this architectural configuration, the ROS node graph, is partly defined in code and created at run-time. The static information about the architecture in the configuration is limited and checking the consistency at development time is not possible. The full software has to be manually executed to check the consistency and debug configuration errors. Method: We propose an approach and a corresponding tool to analyze ROS nodes and their launch files to check consistency and issue warnings if potential problems are detected. The approach uses both static analysis of the launch files as well as dynamic analysis of individual ROS nodes to reconstruct the node graph without executing the whole launch configuration. The nodes are executed in a sandbox to prevent side effects and enable the integration of the analysis tool, e.g., into automated testing systems. Results: The evaluation on internal and publicly available ROS projects shows that we are able to reconstruct the complete architecture of the system if the nodes implement a common lifecycle. Conclusion: The approach enables ROS developers to avoid creating incompatible architectures and check consistency already at development time. The approach can be extended to also monitor architectural consistency at run time.

关键词： Robots Tools Computer architecture Peer-to-peer computing software architecture Prototypes Testing

来源：评论

学校读者我要写书评

暂无评论

Enabling Research through the SCIP Optimization Suite 8.0

arXiv

引用

arXiv 2023年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2023, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Confluence modulo equivalence with invariants in constraint handling rules

arXiv

引用

arXiv 2018年

作者： Gall, Daniel Frühwirth, Thom Institute of Software Engineering and Programming Languages Ulm University Ulm89069 Germany

Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, confluence is often too strict in practical applications because it also considers states that can never be reached in practice. Additionally, sometimes states that have the same semantics in the practical context are considered as different states due to different syntactic representations. By introducing suitable invariants and equivalence relations on the states, programs may have the property to be confluent modulo the equivalence relation w.r.t. the invariant which often is desirable in practice. In this paper, a sufficient and necessary criterion for confluence modulo equivalence w.r.t. an invariant for Constraint Handling Rules (CHR) is presented. It is the first approach that covers invariant-based confluence modulo equivalence for the de facto standard semantics of CHR. There is a trade-off between practical applicability and the simplicity of proving a confluence property. Therefore, a better manageable subset of equivalence relations has been identified that allows for the proposed confluence criterion and and simplifies the confluence proofs by using well established CHR analysis methods. Copyright © 2018, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive MC/DC Measurement Based on Traces

Non-Intrusive MC/DC Measurement Based on Traces

引用

Theoretical Aspects of software engineering (TASE)

作者： Faustin Ahishakiye Svetlana Jakšić Volker Stolz Felix Dino Lange Malte Schmitz Daniel Thoma Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Western Norway University of Applied Sciences Bergen Norway University of Lubeck Lubeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany

We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Instead, we use the Intel Processor Trace (Intel PT) facility present on modern Intel CPUs. Our tooling consists of the following parts: a frontend that detects so-called decisions (Boolean expressions) that are used in conditionals in C source code, a mapping from conditional jumps in the object code back to those decisions, and an analysis that computes satisfaction of the MC/DC coverage relation on those decisions from an execution trace. This analysis takes as input a stream of instruction addresses decoded from Intel PT trace data, which was recorded while running the software under test. We describe our architecture and discuss limitations and future work.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Visualizing regions with a new split-screen view for the online tool travis

Visualizing regions with a new split-screen view for the onl...

引用

2017 Joint of the Workshops at Modellierung, MOD-WS 2018

作者： Meis, Benjamin Bergenthum, Robin Fern Universität in Hagen Software Engineering and Theory of Programming Universitätsstraße 1 Hagen58097 Germany FernUniversität in Hagen Faculty of Mathematics and Computer Science Universitätsstraße 1 Hagen58097 Germany

The online tool travis can synthesize a k-bounded Petri net model from a reachability graph and unfold a k-bounded Petri net to its reachability graph. Synthesis is built on the theory of regions, but where travis and other existing tools only show the synthesized model, we want to present the synthesized model as well as the calculated regions after a user has performed the synthesis procedure. In this paper, we present a new split-screen module of travis which is able to visualize regions, calculated during the synthesis procedure, as well as markings of places related to single states of the reachability graph, calculated during the unfolding procedure. Both sets, i.e. regions and markings, help to really understand the relations between the behavioral and the synthesized models at hand as well as the underlying fundamental concepts of state-based synthesis and reachability analysis. With these new features, travis is tailored to be used in a teaching environment to help students understand the concepts and notions of state-based synthesis. © 2018 CEUR-WS. All rights reserved.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Forecasting Measles Cases in Ethiopia using Neuro-Fuzzy Systems

Forecasting Measles Cases in Ethiopia using Neuro-Fuzzy Syst...

引用

International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)

作者： Kaan Uyar Umit Ilhan Erkut Inan Iseri Ahmet Ilhan Dept. of Computer Engineering Near East University Mersin 10 Turkey Dept. of Software Engineering Near East University Mersin 10 Turkey Dept. of Biophysics Near East University Mersin 10 Turkey Dept. of Computer Programming Near East University Mersin 10 Turkey

Measles is still one of the deadly diseases that terrify the world. Making accurate decisions is necessary in organizing an effective fight against the disease. Forecasting is a very important tool for planning future needs of the health services including the vaccine stocks. Forecasting methods will help to watch over the critical stock levels of the medication as well as their expiration dates and perhaps take the necessary action to ensure a health stock flow. Governments and health institutions estimate the measles vaccine requirements using certain equations generally based on the size of the target population and the past consumption records. There are several studies that have examined the measles forecasting and conducted a vaccine requirement assessment. In this study genetic algorithm (GA) based trained recurrent fuzzy neural network (RFNN) and Adaptive neuro-fuzzy inference system (ANFIS) used to forecast the monthly measles cases in Ethiopia. The Ethiopia measles data was extracted from the World Health Organization Measles and Rubella Surveillance Data, which covers the period from January 2011 to December 2017. Out of total monthly measles cases, 80% were used for training, and 20% were chosen for testing. GA based trained RFNN shows better performance compared to ANFIS results.

关键词： Forecasting Testing Tools Organizations Diseases Vaccines Sociology

来源：评论

学校读者我要写书评

暂无评论

Code abstractions for automatic information flow control in a model-driven approach 10th

Code abstractions for automatic information flow control in ...

引用

10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017

作者： Katkalov, Kuzman Stenzel, Kurt Reif, Wolfgang Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany

ISBN: (纸本)9783319723945

Automatic information flow control (IFC) can be used to guarantee the absence of information leaks in security-critical applications. However, IFC of real-world, complex, distributed systems is challenging. In this paper, we show how a model-driven approach for development of such applications consisting of mobile apps and web services can help solve those challenges using automatic code abstractions. © Springer International Publishing AG 2017.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020年 12071 LNCS卷 vi页

作者： Méry, Dominique Raschke, Alexander Houdek, Frank Institute of Software Engineering and Programming Languages Ulm University Ulm Germany LORIA Campus Scientifique Université de Lorraine Vandoeuvre-les-Nancy France Research and Development Mercedes-Benz AG Sindelfingen Germany

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：