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...
详细信息
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.
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...
详细信息
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.
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 ...
详细信息
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
Providing proper support for debuggingmodels 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-t...
详细信息
ISBN:
(纸本)9781450351058
Providing proper support for debuggingmodels 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.
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 teste...
详细信息
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.
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 disc...
详细信息
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.
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. L...
详细信息
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-baseddebugging. 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.
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. ...
详细信息
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.
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 wi...
详细信息
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.
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 ...
详细信息
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.
暂无评论