메뉴 건너뛰기




Volumn 38, Issue 5, 1996, Pages 343-353

Generating test data for distributed software using the chaining approach

Author keywords

Chaining; Distributed programs; Software development; Test data generators

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AUTOMATIC TESTING; AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; PROGRAM DEBUGGING;

EID: 0030146975     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01064-5     Document Type: Article
Times cited : (13)

References (24)
  • 4
    • 0023287327 scopus 로고
    • The automatic generation of test data
    • D. C. Ince, The automatic generation of test data, The Computer Journal, 30 (1987) 63-69.
    • (1987) The Computer Journal , vol.30 , pp. 63-69
    • Ince, D.C.1
  • 6
    • 0020752281 scopus 로고
    • A general-purpose algorithm for analyzing concurrent programs
    • R. Taylor, A general-purpose algorithm for analyzing concurrent programs, Comm. ACM, 26 (1983) 362-376.
    • (1983) Comm. ACM , vol.26 , pp. 362-376
    • Taylor, R.1
  • 7
    • 0024092198 scopus 로고
    • Combining static concurrency analysis with symbolic execution
    • M. Young and R. Taylor, Combining static concurrency analysis with symbolic execution, IEEE Transactions Software Engineering, 14 (1988) 1499-1511.
    • (1988) IEEE Transactions Software Engineering , vol.14 , pp. 1499-1511
    • Young, M.1    Taylor, R.2
  • 8
    • 0016993577 scopus 로고
    • A system to generate test data and symbolically execute programs
    • L. A. Clarke, A system to generate test data and symbolically execute programs, IEEE Transactions on Software Engineering, SE-2 (1976) 215-222.
    • (1976) IEEE Transactions on Software Engineering , vol.SE-2 , pp. 215-222
    • Clarke, L.A.1
  • 11
    • 0017518741 scopus 로고
    • Symbolic testing and the DISSECT symbolic evaluation system
    • W. E. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Transactions on Software Engineering, 4 (1977) 266-278.
    • (1977) IEEE Transactions on Software Engineering , vol.4 , pp. 266-278
    • Howden, W.E.1
  • 12
    • 84909824950 scopus 로고
    • TESTGEN-a structural test data generation system
    • Washington, DC
    • B. Korel, TESTGEN-a structural test data generation system, 6th Int. Conf. on Software Testing, Washington, DC, 1989.
    • (1989) 6th Int. Conf. on Software Testing
    • Korel, B.1
  • 14
    • 0025511418 scopus 로고
    • A dynamic approach of automated test data generation
    • San Diego, CA
    • B. Korel, A dynamic approach of automated test data generation, Conf. on Software Maintenance, San Diego, CA, 1990, pp. 311-317.
    • (1990) Conf. on Software Maintenance , pp. 311-317
    • Korel, B.1
  • 16
    • 30244480626 scopus 로고
    • Automated test data generation for distributed software
    • Tokyo, Japan
    • B. Korel, H. Wedde and R. Ferguson, Automated test data generation for distributed software, Proc. COMPSAC-91 Conf., Tokyo, Japan, 1991.
    • (1991) Proc. COMPSAC-91 Conf.
    • Korel, B.1    Wedde, H.2    Ferguson, R.3
  • 17
    • 38249012655 scopus 로고    scopus 로고
    • Dynamic method of test data generation for distributed software
    • B. Korel, H. Wedde and R. Ferguson, Dynamic method of test data generation for distributed software, Inf. Soft. Tech. (1992) 523-531.
    • Inf. Soft. Tech. , vol.1992 , pp. 523-531
    • Korel, B.1    Wedde, H.2    Ferguson, R.3
  • 18
    • 30244547991 scopus 로고
    • The chaining approach for software test data generation
    • Wayne State University Department of Computer Science
    • R. Ferguson and B. Korel, The chaining approach for software test data generation, Technical Report CSC-94-001, Wayne State University Department of Computer Science, 1994.
    • (1994) Technical Report CSC-94-001
    • Ferguson, R.1    Korel, B.2
  • 22
    • 0011691468 scopus 로고
    • Sequential search: A method for solving constrained optimization problems
    • H. Glass and L. Cooper, Sequential search: a method for solving constrained optimization problems, Journal of ACM, 12 (1965) 71-82.
    • (1965) Journal of ACM , vol.12 , pp. 71-82
    • Glass, H.1    Cooper, L.2
  • 23
    • 0025510535 scopus 로고
    • Dynamic slicing in computer programs
    • B. Korel and J. Laski, Dynamic slicing in computer programs, J. Systems and Software, 13 (1990) 187-195.
    • (1990) J. Systems and Software , vol.13 , pp. 187-195
    • Korel, B.1    Laski, J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.