Metrics for multithreaded Java']Java program verification

被引：0
|
作者：
Salem, A [1 ]
Sharma, V [1 ]
机构：
[1] Calif State Univ Sacramento, Dept Comp Sci, Sacramento, CA 95819 USA
来源：
SERP '05: Proceedings of the 2005 International Conference on Software Engineering Research and Practice, Vols 1 and 2 | 2005年
关键词：
program verification; concurrent programs; !text type='Java']Java[!/text] Virtual Machine; !text type='Java']Java[!/text] Memory Model; pre analyzer program;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
All multithreaded programs are inherently less predictable. In order to find the relationship between thread execution and memory allocation, one must understand the Java Memory Model (JMM). The JMM model is introduced in this paper to understand thread execution. The deterministic replay approach is shown based on the past and ongoing research to understand logical scheduling and interleaving of the threads. The aim of this paper is to investigate an approach of verifying a multithreaded java programs with the use of metrics and the knowledge of JMM.
引用
收藏
页码：524 / 528
页数：5
相关论文
共 50 条
  • [1] Specifying multithreaded Java']Java semantics for program verification
    Roychoudhury, A
    Mitra, T
    [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 489 - 499
  • [2] Multithreaded Java']Java program test generation
    Edelstein, O
    Farchi, E
    Nir, Y
    Ratsaby, G
    Ur, S
    [J]. IBM SYSTEMS JOURNAL, 2002, 41 (01) : 111 - 125
  • [3] Towards the automated verification of multithreaded Java']Java programs
    Delzanno, G
    Raskin, JF
    Van Begin, L
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
  • [4] Java']Java program verification challenges
    Jacobs, B
    Kiniry, J
    Warnier, M
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 202 - 219
  • [5] Shape truss optimization in Java']Java multithreaded genetic program
    Czarnecki, S
    [J]. TOPOLOGY OPTIMIZATION OF STRUCTURES AND COMPOSITE CONTINUA, 2000, 7 : 347 - 349
  • [6] A Formalisation of Java']Java Strings for Program Specification and Verification
    Bubel, Richard
    Hahnle, Reiner
    Geilmann, Ulrich
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 90 - +
  • [7] Java']Java program verification at Nijmegen: Developments and perspective
    Jacobs, B
    Poll, E
    [J]. SOFTWARE SECURITY - THEORIES AND SYSTEMS, 2004, 3233 : 134 - 153
  • [8] A real-time Java']Java system on a multithreaded Java']Java microcontroller
    Pfeffer, M
    Uhrig, S
    Ungerer, T
    Brinkschulte, U
    [J]. ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 34 - 41
  • [9] Performance evaluations of a multithreaded Java']Java microcontroller
    Kreuzinger, J
    Pfeffer, M
    Schulz, A
    Ungerer, T
    Brinkschulte, U
    Krakowski, C
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 95 - 99
  • [10] Visual debugging of multithreaded Java']Java programs
    Jackson, D
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341
12345