A new approach to teaching software testing is proposed: students use test-driven development on programming assignments, and an automated grading tool assesses their testing performance and provides feedback. The bas...
详细信息
ISBN:
(纸本)1581137516
A new approach to teaching software testing is proposed: students use test-driven development on programming assignments, and an automated grading tool assesses their testing performance and provides feedback. The basics of the approach, screenshots of the sytem, and a discussion of industrial tool use for grading java programs are discussed.
Currently many CASE (Computer Aided Software Engineering) tools generate code from design specifications written in UML (Unified Modeling language). However, only the program structure is usually generated instead of ...
详细信息
ISBN:
(纸本)193241519X
Currently many CASE (Computer Aided Software Engineering) tools generate code from design specifications written in UML (Unified Modeling language). However, only the program structure is usually generated instead of entire code, because UML diagrams contain insufficient information to generate a complete program source code. Moreover specifications are customarily described using informal text. An alternative form to specification is to use assertion statements of OCL (Object Constraint Langnage). Nowadays few design tools provide enhanced support for UML models and OCL constraints. To address this lack of support, it is being developed and implemented a Prolog-based tool that takes into account both a XMI (XML Metadata Interchange) knowledge base of an UML-spedfied object-oriented model and an OCL specification of the system behavior in order to convert transformation, precondition and post-condition assertions to complete java code. In this paper, it is presented a survey of some OCL tools and a prototype tool that supports java code generation from UML models and OCL constraints represented in XML.
java event spaces are partial orders of memory and thread actions as generated by a multi-threaded java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of java ...
详细信息
java event spaces are partial orders of memory and thread actions as generated by a multi-threaded java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of java event spaces. Furthermore, we face the problem that arises when two or more variables of an event space are aliased and we outline an algorithm that goes through an event space and calculates aliases of variables. We incorporate this algorithm in the calculation of the program program slice.
In this paper we propose a quantitative model for evaluation and selection of Integrated Development Environments (IDE's) for java enterprise applications. Our goal is to determine the extent to which major IDE...
详细信息
ISBN:
(纸本)0889863946
In this paper we propose a quantitative model for evaluation and selection of Integrated Development Environments (IDE's) for java enterprise applications. Our goal is to determine the extent to which major IDE's satisfy typical software developer requirements. Our evaluation model is based on the Logic Scoring of Preference (LSP) method for system evaluation. We present an overview of the LSP method, the structure of IDE evaluation criterion, and a sample evaluation and comparison of three competitive systems: IBM WebSphere Studio Application Developer, Borland JBuilder, and SUN ONE Studio.
Recently, java has been spread widely. However, java has a problem that an attacker can reconstruct java source codes from java classfiles. Therefore many techniques for protecting java software have been proposed, bu...
详细信息
ISBN:
(纸本)0889864020
Recently, java has been spread widely. However, java has a problem that an attacker can reconstruct java source codes from java classfiles. Therefore many techniques for protecting java software have been proposed, but, quantitive security evaluations are not fully given. This paper proposes an obfuscation scheme for java source codes by destructing the encapsulation. In addition, we propose an evaluation scheme on the number of accesses to the fields and the methods of the other classes. We try to realize tamper-resistant software with the certain quantitive basis of security using our evaluation.
We present in this article a new programminglanguage JEstelle. It fuses the formal semantics of Estelle (a standardized Formal Description Technique) and the popularity of the java platform. JEstelle uses similaritie...
详细信息
ISBN:
(纸本)0889863490
We present in this article a new programminglanguage JEstelle. It fuses the formal semantics of Estelle (a standardized Formal Description Technique) and the popularity of the java platform. JEstelle uses similarities between these two languages to narrow the gap between formal specification and implementation code. It provides a solution that can simplify significantly the distributed java applications development. The introduction of formalism to the communication part of a distributed java application, allows its validation and improves the readability of the system design. JEstelle introduces some minor restrictions to the use of java API and naturally supports the automatic implementation code generation. Moreover, the java technology permits to easily adapt the existing Estelle Development Toolset (XEDT) to the development of JEstelle tools. Finally, JEstelle is easy to use and practically does not require the designer to be familiar with any Formal Description Techniques, and with Estelle in particular.
Set-top box (STB) is one of the many Digital TV receivers. Multimedia Home Platform (MHP) compliant STBs are capable of running java applications. java Virtual Machine (JVM) is one of the layers in the system software...
详细信息
ISBN:
(纸本)0889863989
Set-top box (STB) is one of the many Digital TV receivers. Multimedia Home Platform (MHP) compliant STBs are capable of running java applications. java Virtual Machine (JVM) is one of the layers in the system software of STB. In the Digital TV environment, optimizing the loading time of java applications is essential because of high initial start up time. Often, compared to the downloadable applications onto the STB, usage of resident applications is higher. In this paper, the JVM load time optimization for the STB resident java applications, called "Easy Loading" is implemented. The obtained results show that the loadtime can be minimized by up to 12%.
programming in java can be a daunting task for introductory students, one that is only compounded by the cryptic compiler error messages they see when they first start to write actual code. This article details a proj...
详细信息
programming in java can be a daunting task for introductory students, one that is only compounded by the cryptic compiler error messages they see when they first start to write actual code. This article details a project conducted by faculty and advanced students in the creation of an educational tool for javaprogramming, called Expresso. This paper discusses some existing programming tools, explains their drawbacks, and describes why Expresso is different. We also include a detailed list of typical errors made by novice programmers, used in the construction of the Expresso tool.
An "Omniscient Debugger" works by recording all state changes in the run of a program, and then allowing the programmer to explore the history of that program effetively going "backwards in time." ...
详细信息
ISBN:
(纸本)1581137516
An "Omniscient Debugger" works by recording all state changes in the run of a program, and then allowing the programmer to explore the history of that program effetively going "backwards in time." Event analysis debuggers work by observing events as they occur, and allowing the programmer to write queries which will pause the program when matched effectively highly sophisticated breakpoints. Recently we have integrated the two techniques to produce an omniscient debugger which can use event queries to search the history of a program interactively. The query mechanism is designed along the lines of an EMACS incremental search, where the query is typed into a "minibuffer" at the bottom of the debugger window, and the commands "next match" and "previous match" are single keystrokes. The result is instantaneous feedback with no danger of missing an interesting state by going too far.
An existing Fortran code HISSS is re-engineered into an object-oriented code using java. HISSS is a three-dimensional panel method code, which computes the inviscid flow past arbitrary wing-body configurations at subs...
详细信息
暂无评论