In 1997, Henry Lieberman stated that debugging is the dirty little secret of computer science. Since then, several promising debugging technologies have been developed such as back-in-time debuggers and automatic faul...
详细信息
ISBN:
(纸本)9781479973774
In 1997, Henry Lieberman stated that debugging is the dirty little secret of computer science. Since then, several promising debugging technologies have been developed such as back-in-time debuggers and automatic fault localization methods. However, the last study about the state-of-the-art in debugging is still more than 15 years old and so it is not clear whether these new approaches have been applied in practice or not. For that reason, we investigate the current state of debugging in a new comprehensive study. First, we review the available literature and learn about current approaches and study results. Second, we observe several professional developers while debugging and interview them about their experiences. Based on these results, we create a questionnaire that should serve as the basis for a large-scale online debugging survey later on. With these results, we expect new insights into debugging practice that help to suggest new directions for future research.
Neverlang 2 is a JVM-based framework for language development that emphasizes code reuse through composition of language features. This paper is aimed at showing how to develop extensible, custom languages using Never...
详细信息
Software Product Line (SPL) techniques are widely used to represent variability and commonality in reusable software assets. Similarly, model transformations are also software assets and can be reused with the same te...
详细信息
ISBN:
(纸本)9781450324694
Software Product Line (SPL) techniques are widely used to represent variability and commonality in reusable software assets. Similarly, model transformations are also software assets and can be reused with the same techniques. However, their applicability in the model transformations domain demands an extra effort to test the generated/adapted assets. Automated test cases should consider isolated transformations and also their combined use in a model transformation chain, that can vary according to different needs in software projects, e.g. libraries and frameworks. In order to facilitate the specification of automated test cases, this paper presents a JUnit extension to support unit and integration tests that execute dynamic SPL-based model transformation chains. Copyright 2014 ACM.
Although the quality of computer software consists of many different aspects, the security and the optimization are by far the most important metrics for estimating quality of software systems. The security ensures th...
详细信息
java 8 was released recently. Along with lambda expressions, a new language construct is introduced: default methods in interfaces. The intent of this feature is to allow interfaces to be extended over time preserving...
详细信息
We present a translation from Event-B machines to JML-specified java class implementations and the EventB2java Rodin plug-in that automates the translation. Producing JML specifications in addition to java implementat...
详细信息
ISBN:
(纸本)9781450324694
We present a translation from Event-B machines to JML-specified java class implementations and the EventB2java Rodin plug-in that automates the translation. Producing JML specifications in addition to java implementations enables users to write bespoke implementations that can then be checked for correctness using existing JML tools. We have validated the proposed translation by applying the EventB-2java tool to various programs and systems. Copyright 2014 ACM.
A trait is a set of methods that is independent from any class hierarchy and can be flexibly used to build other traits or classes by means of a suite of composition operations. Traits were proposed as a mechanism for...
详细信息
Previous work on generating implementations from Event-B models has focused on translating concrete machines that are already relatively close to code. Additionally, the generated implementations do not provide suppor...
详细信息
We propose a new static approach to Role-Based Access Control (RBAC) policy enforcement. The static approach we advocate includes a new design methodology, for applications involving RBAC, which integrates the securit...
详细信息
This paper presents GD-MPI: a Graphical environment for Development of parallel MPI applications. GD-MPI offers users a web browser-based GUI to graphically specify both: workflows that represent a set of java-MPI pro...
详细信息
暂无评论