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

Proceedings of the 22nd International Conference on model Driven Engineering Languages and Systems

作者： Majid Babaei Karim Jahed Juergen Dingel Queen's University

ISBN: (纸本)9781728151250

We demonstrate and evaluate the use of the UML-RT modeling language and an extension of Eclipse Papyrus-RT, an open source model-driven development tool, to solve the RoboSoccer challenge problem. The problem requires participants to create an executable model of a robotic rover playing soccer in a simulated playing field against another rover. Our extension supports TCP communication which is used to connect the model and the simulation in a bi-directional fashion. We evaluate the performance of our model using a set of scenarios, each examining a certain aspect of our proposed solution.

关键词： model-driven development model-based debugging real-time and embedded systems robosoccer UML-RT

来源：评论

学校读者我要写书评

暂无评论

Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT 22

Solving the RoboSoccer challenge problem with UML-RT and Pap...

引用

ACM/IEEE 22nd International Conference on model Driven Engineering Languages and Systems Companion (modelS-C)

作者： Babaei, Majid Jahed, Karim Dingel, Juergen Queens Univ Sch Comp Kingston ON Canada

ISBN: (纸本)9781728151250

关键词： model-based debugging model-driven Development UML-RT Real-time and Embedded systems RoboSoccer

来源：评论

学校读者我要写书评

暂无评论

MDebugger: A model-level Debugger for UML-RT 18

MDebugger: A Model-level Debugger for UML-RT

引用

40th ACM/IEEE International Conference on Software Engineering (ICSE)

作者： Bagherzadeh, Mojtaba Hili, Nicolas Seekatz, David Dingel, Juergen Queens Univ Kingston ON Canada

ISBN: (纸本)9781450356633

Ideally, debuggers for model-Driven Development (MDD) tools would allow users to 'stay at the model-level' and would not require them to refer to the generated source code or figure out how the code generator works. Existing approaches to model-level debugging do not satisfy this requirement and are unnecessarily complex and platform-specific due to their dependency on program debuggers. We introduced a novel approach to model-level debugging that formulates debugging services at model-level and implements them using model transformation. This approach is implemented in MDebugger, a platform-independent model-level debugger using Papyrus-RT, an MDD tool for the modeling language UML-RT. https://***/L0JDn8eczwQ

关键词： model-based debugging model-driven Development UML-RT Real-time and Embedded systems MDD MDE

来源：评论

学校读者我要写书评

暂无评论

model-Level, Platform-Independent debugging in the Context of the model-Driven Development of Real-Time Systems 2017

Model-Level, Platform-Independent Debugging in the Context o...

引用

11th Joint Meeting of European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： Bagherzadeh, Mojtaba Hili, Nicolas Dingel, Juergen Queens Univ Kingston ON Canada

ISBN: (纸本)9781450351058

Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.

关键词： model-based debugging model-driven Development UML-RT Real-time and Embedded systems MDD MDE

来源：评论

学校读者我要写书评

暂无评论

The Future of Automated debugging - Focus on the Niches first 28

The Future of Automated Debugging - Focus on the Niches firs...

引用

28th IEEE International Symposium on Software Reliability Engineering

作者： Wotawa, Franz Graz Univ Technol Inst Software Technol Graz Austria

ISBN: (纸本)9781538623879

There is a gap between research and practice of automated and algorithmic debugging. In order to close this gap, we claim to search for niches where research techniques and methods can be more easily applied and tested under real-world development conditions. In particular, we discuss the niche of spreadsheet fault localization as one very promising area and present the current state of research in applying model-based debugging for spreadsheets.

关键词： Automated debugging Fault localization for spreadsheets model-based debugging

来源：评论

学校读者我要写书评

暂无评论

Automated debugging based on a constraint model of the program and a test case

引用

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 2012年第4期81卷 390-407页

作者： Wotawa, Franz Nica, Mihai Moraru, Iulia Graz Univ Technol Inst Software Technol A-8010 Graz Austria

debugging, i.e., fault localization, in case of a detected failure is a time consuming and intricate task. The automation or at least partial automation of debugging is therefore highly desired. In this paper, we discuss some of the most recent approaches for debugging namely spectrum-based, slicing-based, and model-based debugging. We focus on the latter, and introduce the underlying theory as well as discuss empirical results obtained from our implementation. The model-based approach we present in this paper relies on a constraint representation of a program that is equivalent to the original program in terms of the input-output behavior under some reasonable assumptions. By using constraints for representing programs and subsequently test cases we are able to state the debugging problem as a constraint satisfaction problem that can be effectively solved using a todays constraint solver. The given empirical results indicate that the approach can be used for debugging smaller programs in less than 1 s. Moreover, we briefly compare the three approaches and suggest a combination of them in order to improve the results and the overall necessary running time. (C) 2012 Elsevier Inc. All rights reserved.

关键词： Automated debugging Algorithmic debugging model-based debugging Constraints Constraint satisfaction problem

来源：评论

学校读者我要写书评

暂无评论

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets 1

引用

16th International Conference on Fundamental Approaches to Software Engineering (FASE)

作者： Hofer, Birgit Riboira, Andre Wotawa, Franz Abreu, Rui Getzner, Elisabeth Graz Univ Technol Inst Software Technol A-8010 Graz Austria Univ Porto Fac Engn Dept Informat Engn Porto Portugal

ISBN: (数字)9783642370571

ISBN: (纸本)9783642370571

Spreadsheets are by far the most prominent example of end-user programs of ample size and substantial structural complexity. In addition, spreadsheets are usually not tested very rigorously and thus comprise faults. Locating faults is a hard task due to the size and the structure, which is usually not directly visible to the user, i.e., the functions are hidden behind the cells and only the computed values are presented. Hence, there is a strong need for debugging support. In this paper, we adapt three program-debugging approaches that have been designed for more traditional procedural or object-oriented programming languages. These techniques are Spectrum-based Fault Localization, Spectrum-Enhanced Dynamic Slicing, and Constraint-based debugging. Beside the theoretical foundations, we present a more sophisticated empirical evaluation including a comparison of these approaches. The empirical evaluation shows that SFL (Spectrum-based Fault Localization) and SENDYS (Spectrum ENhanced Dynamic Slicing) are the most promising techniques.

关键词： End-User debugging spreadsheets spectrum-based fault localization model-based debugging

来源：评论

学校读者我要写书评

暂无评论

Design Level debugging of Timing Behavior in Embedded Systems: Using a model-based Approach

Design Level Debugging of Timing Behavior in Embedded System...

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Iyenghar, Padma Westerkamp, Clemens Wuebbelmann, Juergen Pulvermueller, Elke Univ Osnabruck Software Engn Res Grp D-4500 Osnabruck Germany Univ Appl Sci Inst Comp Engn Osnabruck Germany

ISBN: (纸本)9781457704345

A robust model-based debugging and testing technique integrated with the model Driven Development (MDD) approach for memory size constrained, real-time critical embedded target systems is still in its nascent stages. This is especially true for the industry standard MDD-based tools. In addition, a model-based debugging technique or tool chain based on the newly introduced timing diagrams in UML 2.x is not yet available. In this paper, we discuss a model-based, design-level debugging approach with which the timing behavior of embedded targets is visualized with the aid of UML timing diagrams on the host side, in real-time. The proposed approach is suitable for memory size constrained, real-time embedded target systems as the overhead introduced is negligible, constant and known beforehand. Hence, the end-user has the option to include the overhead in the system design phase, thereby making use of a model-based debug solution and at the same time adhering to temporal constraints. A prototype implementation of the proposed approach is discussed and an illustrative example is presented.

关键词： component model-based debugging embedded systems UML timing diagram

来源：评论

学校读者我要写书评

暂无评论

modeling and Diagnosing Buggy Programs with Points-to Analysis

Modeling and Diagnosing Buggy Programs with Points-to Analys...

引用

International Conference on Materials Science and Information Technology (MSIT 2011)

作者： Peng, Tao Zhang, Qiang Chen, Rong PLA 91550 Dalian 116023 Peoples R China Dalian Maritime Univ Sch Informat & Sci Dalian 116026 Peoples R China

ISBN: (纸本)9783037853191

The main idea behind this paper is the use of cheap one-level pointer analysis information to achieve better results in the context of dependency-based program debugging. We model java programs by a points-to graph with annotations in the form of constraints, derive the inner logical representation deriving from this model, and use them to debug faults in input programs. Our analysis and the empirical results show that we can achieve better results in the context of dependency-based software debugging.

关键词： model-based debugging program model fault localization pointer analysis

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED debugging OF VERILOG DESIGNS

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2012年第5期22卷 695-723页

作者： Peischl, Bernhard Riaz, Naveed Wotawa, Franz Softnet Austria A-8010 Graz Austria Shaheed Zulfikar Ali Bhutto Inst Sci & Technol Islamabad 44000 Pakistan Graz Univ Technol Inst Software Technol A-8010 Graz Austria

In this article we report on novel insights in model-based software debugging of hardware description languages (HDLs). Today's simulation driven working process emphasizes the need for exploiting test suites not only for detecting but also for localizing the root cause of misbehavior. We discuss the modeling approaches for the various artifacts of the Verilog hardware description language (blocking and non-blocking statements, expressions, execution ordering) and present a novel model incorporating test suites. The evaluation of our approach on the well-known ISCAS89 benchmarks concerning single and double-fault diagnoses clearly indicates that incorporating test suites into the fault localization technique (and development process) considerably improves the accuracy of the obtained diagnosis candidates.

关键词： model-based debugging fault localization software debugging circuit debugging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：