An approach to concurrent Java programs debugging and run-time analysis: technical report no. DCSE/TR-2003-14
| dc.contributor.author | Kačer, Jaroslav | |
| dc.date.accessioned | 2016-06-24T09:37:17Z | |
| dc.date.available | 2016-06-24T09:37:17Z | |
| dc.date.issued | 2003 | |
| dc.description.abstract-translated | With increasing power of today’s computers, the Java programming language is more and more chosen by developers as the implementation language of various types of software. The wide range of applications also include concurrent multithreaded programs. However, programming, analyzing and testing concurrent programs is a problem of a higher order than programming and testing classic sequential programs, even if they are implemented at a high level of abstraction that Java provides. The purpose of this work is to describe an approach to concurrent Java programs debugging and run-time analysis done by means of a simulator of a subset of the JVM functionality and a converter of Java source code. The tested pro- gram can be deterministicly traced (just one thread at once) at run-time and the relationships of various entities can be observed and analyzed. As a consequence, the programmer can find potential bugs concerning concurrency issues in a shorter time than when using standard debugging and tracing techniques, usually inefficient for concurrent programs. This paper first summarizes some requirements that a tool implementing this approach should meet, then it presents work related to concurrent programs testing and analysis, done worldwide. Subsequently, it discusses an invented state-space model of concurrent Java programs and a controller based on it, executing the tested program. Finally, it shows how Java programs are transformed in order to use the controller. Chapter 6 concludes the document. | en |
| dc.format | 68 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://www.kiv.zcu.cz/publications/ | |
| dc.identifier.uri | http://hdl.handle.net/11025/21613 | |
| dc.language.iso | en | en |
| dc.publisher | University of West Bohemia in Pilsen | en |
| dc.rights | © University of West Bohemia in Pilsen | en |
| dc.rights.access | openAccess | en |
| dc.subject | Java | cs |
| dc.subject | simulace | cs |
| dc.subject | program | cs |
| dc.subject.translated | Java | en |
| dc.subject.translated | simulation | en |
| dc.subject.translated | programm | en |
| dc.title | An approach to concurrent Java programs debugging and run-time analysis: technical report no. DCSE/TR-2003-14 | en |
| dc.type | zpráva | cs |
| dc.type | report | en |
| dc.type.version | publishedVersion | en |
Files
Original bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- Kacer.pdf
- Size:
- 368.18 KB
- Format:
- Adobe Portable Document Format
- Description:
- Plný text
License bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: