In this paper, we propose a method to collect an execution trace to analyze the internal states of software with a planned amount of storage. The method uses separated data buffers to record the actual values used by ...
详细信息
In this paper, we present a novel resilience improvement system for java applications. The unique feature of this system is to combine automated monitoring, automated perturbation injection, and automated resilience i...
详细信息
ISBN:
(纸本)9781728149837
In this paper, we present a novel resilience improvement system for java applications. The unique feature of this system is to combine automated monitoring, automated perturbation injection, and automated resilience improvement. The latter is achieved thanks to the failure-oblivious computing, a concept introduced in 2004 by Rinard and colleagues. We design and implement the system as agents for the java virtual machine. We evaluate the system on two real-world applications: a file transfer client and an email server. Our results show that it is possible to automatically improve the resilience of java applications with respect to uncaught or mishandled exceptions.
Code metrics can be used to assess the internal quality of software systems, and in particular their adherence to good design principles. While providing hints about code quality, metrics are difficult to interpret. I...
详细信息
ISBN:
(纸本)9781538649695
Code metrics can be used to assess the internal quality of software systems, and in particular their adherence to good design principles. While providing hints about code quality, metrics are difficult to interpret. Indeed, they take a code component as input and assess a quality attribute (e.g., code readability) by providing a number as output. However, it might be unclear for developers whether that value should be considered good or bad for the specific code at hand. We present RETICULA (REal TIme Code qUaLity Assessment), a plugin for the IntelliJ IDE to assist developers in perceiving code quality during software development. RETICULA compares the quality metrics for a project (or a single class) under development in the IDE with those of similar open source systems (classes) previously analyzed. With the visualized results, developers can gain insights about the quality of their code. A video illustrating the features of RETICULA can be found at: https://***/.
This document will present an educational videogame called Ashy. alRescate () that aims to teach the subject of object-oriented programming (OOP) in java programming language through the mixture of a baseline story of...
详细信息
ISBN:
(纸本)9781538692332
This document will present an educational videogame called Ashy. alRescate () that aims to teach the subject of object-oriented programming (OOP) in java programming language through the mixture of a baseline story of the videogame with the implementation of programming code. The student programs the classes of the characters, their methods, attributes among others, for providing functionality to the characters. The results tested on university students show that there are improvements either in learners with only previous knowledge in C programming and in learners which have pursued an OOP course.
Cement industry in Central java distributes cement by train to meet daily demand in Yogyakarta and Central java area. There are five destination stations. For each destination station, there is a warehouse to load cem...
详细信息
ISBN:
(纸本)9781510858855
Cement industry in Central java distributes cement by train to meet daily demand in Yogyakarta and Central java area. There are five destination stations. For each destination station, there is a warehouse to load cements. Decision maker of cement industry have a plan to redesign the infrastructure and transportation system. The aim is to determine how many locomotives, train wagons, and containers and how to arrange train schedules with subject to the delivery time. For this purposes, we consider an integer programming to minimize the total of operational cost. Further, we will discuss a case study and the solution the problem can be calculated by LINGO software.
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application o...
详细信息
ISBN:
(数字)9783030035921
ISBN:
(纸本)9783030035921;9783030035914
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application of the extensions to a secure streaming protocol library developed by Amazon Web Services and used as a foundation by services it provides. We found that the application under study used a small set of functional programming idioms;methods using these idioms could be verified by techniques that used only first-order logic and did not need all the features that might be required for full generality of functional programming.
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate l...
详细信息
ISBN:
(纸本)9783319944609;9783319944593
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate language - the java bytecode. Models are sub-sequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the java features.
Build systems are widely used in today's software projects to automate integration and build processes. Similar to source code, build specifications need to be maintained to avoid outdated specifications, and buil...
详细信息
ISBN:
(纸本)9781538649695
Build systems are widely used in today's software projects to automate integration and build processes. Similar to source code, build specifications need to be maintained to avoid outdated specifications, and build breakage as a consequence. Recent work indicates that neglected build maintenance is one of the most frequently occurring reasons why open source and proprietary builds break. In this paper, we propose BUILDMEDIC, an approach to automatically repair Maven builds that break due to dependency-related issues. Based on a manual investigation of 37 broken Maven builds in 23 open source java projects, we derive three repair strategies to automatically repair the build, namely Version Update, Delete Dependency, and Add Repository. We evaluate the three strategies on 84 additional broken builds from the 23 studied projects in order to demonstrate the applicability of our approach. The evaluation shows that BUILDMEDIC can automatically repair 45 of these broken builds (54%). Furthermore, in 36% of the successfully repaired build breakages, BUILDMEDIC outputs at least one repair candidate that is considered a correct repair. Moreover, 76% of them could be repaired with only a single dependency correction.
AIJ (ACL2 In java) is a deep embedding in java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To java) is a simple java code generator that turns ACL2 fun...
详细信息
AIJ (ACL2 In java) is a deep embedding in java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To java) is a simple java code generator that turns ACL2 functions into AIJ representations that are evaluated by the AIJ interpreter. AIJ and ATJ enable possibly verified ACL2 code to run as, and interoperate with, java code, without much of the ACL2 framework or any of the Lisp runtime. The current speed of the resulting java code may be adequate to some applications.
It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitorin...
详细信息
ISBN:
(数字)9781728161068
ISBN:
(纸本)9781728161075
It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitoring, a ship monitoring ontology model is proposed by using Web Ontology language (OWL) and a reason manager is designed by using Semantic Web Rule language (SWRL). Besides, java Expert Shell System (JESS) based reason machine is implemented to integrate the ship condition monitoring ontology and inference rules. A test bed is developed to verify the performance of the middleware system with real-time sensor data. The results show that the proposed middleware can improve the accuracy and decrease the warning delay compared with existed traditional monitoring system.
暂无评论