Discovering thread interactions in a concurrent system

被引：8

作者：

Cook, JE ^{[1
]}

Du, ZD ^{[1
]}

机构：

[1] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2005年 / 77卷 / 03期

基金：

美国国家科学基金会;

关键词：

dynamic analysis; concurrent systems; behavior discovery; mutual exclusion; synchronization;

D O I：

10.1016/j.jss.2004.04.029

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Understanding the behavior of a system is a central reverse engineering task, and is crucial for being able to modify, maintain, and improve the system. An often difficult aspect of some system behaviors is concurrency, in particular identifying those areas that exhibit mutual exclusion and those that exhibit synchronization. In this paper we present a technique that builds on our previous work in behavior discovery to find the points in the system that demonstrate mutually exclusive and synchronized behavior. Finding these points in the behavior of the system is an important aid in reverse engineering a complete and correct model of the system. (c) 2004 Elsevier Inc. All rights reserved.

引用

页码：285 / 297

页数：13

共 33 条

[1]

Agrawal R, 1998, LECT NOTES COMPUT SC, V1377, P469

[2]

Alur R., 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, P304, DOI 10.1109/ICSE.2000.870421

[3] INDUCTIVE INFERENCE - THEORY AND METHODS [J].

ANGLUIN, D ;

SMITH, CH .

COMPUTING SURVEYS, 1983, 15 (03) :237-269

[4] AUTOMATED-ANALYSIS OF CONCURRENT SYSTEMS WITH THE CONSTRAINED EXPRESSION TOOLSET [J].

AVRUNIN, GS ;

BUY, UA ;

CORBETT, JC ;

DILLON, LK ;

WILEDEN, JC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (11) :1204-1222

[5]

BATES P, 1989, P WORKSH PAR DISTR D, P11

[6]

Carrasco R. C., 1994, Grammatical Inference and Applications. Second International Colloquium, ICGI-94 Proceedings, P139

[7]

COOK J, 2002, IN PRESS P 2002 WORK

[8]

Cook J. E., 1998, ACM Transactions on Software Engineering and Methodology, V7, P215, DOI 10.1145/287000.287001

[9] Measuring behavioral correspondence to a timed concurrent model [J].

Cook, JE ;

He, C ;

Ma, CJ .

IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, :332-341

[10] Software process validation: Quantitatively measuring the correspondence of a process to a model [J].

Cook, JE ;

Wolf, AL .

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 1999, 8 (02) :147-176

← 1 2 3 4 →