Loading...
Please wait, while we are loading the content...
Similar Documents
Monitoring java programs with java pathexplorer
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Havelund Sr., Klaus Rosu, Grigore |
| Copyright Year | 2001 |
| Description | We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java. |
| File Size | 9327876 |
| Page Count | 20 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20020051234 |
| Archival Resource Key | ark:/13960/t7hq8wm0g |
| Language | English |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Surveys Algorithms Java Programming Language Data Structures Safety Detection Temporal Logic Computer Programs Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
