COMBINING TESTING WITH FORMAL SPECIFICATIONS - A CASE-STUDY

被引：7
|
作者：
MCMULLIN, PR [1 ]
GANNON, JD [1 ]
机构：
[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1983年 / 9卷 / 03期
关键词：
D O I：
10.1109/TSE.1983.236869
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：328 / 335
页数：8
相关论文
共 50 条
  • [1] SPECIFICATIONS - FORMAL AND INFORMAL - A CASE-STUDY
    GEHANI, N
    SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (05): : 433 - 444
  • [2] USING ALGEBRAIC SPECIFICATIONS IN SOFTWARE TESTING - A CASE-STUDY ON THE SOFTWARE OF AN AUTOMATIC SUBWAY
    DAUCHY, P
    GAUDEL, MC
    MARRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 229 - 244
  • [3] Combining formal specifications with design by contract
    Valle, Begona Moros
    Ros, Joaquin Nicolas
    Molina, Jesus Garcia
    Toval Alvarez, Jose Ambrosio
    JOOP - Journal of Object-Oriented Programming, 2000, 12 (09): : 16 - 21
  • [4] Generation of functional test sequences from B formal specifications - Presentation and industrial case-study
    Legeard, B
    Peureux, F
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 377 - 381
  • [5] Formal specifications and CASE
    Richta, K
    Vlk, T
    SYSTEMS DEVELOPMENT METHODS FOR THE NEXT CENTURY, 1997, : 313 - 325
  • [6] REASONING ABOUT SOFTWARE SPECIFICATIONS - A CASE-STUDY
    WILD, C
    JI, C
    ECKHARDT, D
    AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 1024 - 1033
  • [7] FORMAL PARAPHASIAS - A SINGLE CASE-STUDY
    BLANKEN, G
    BRAIN AND LANGUAGE, 1990, 38 (04) : 534 - 554
  • [8] Combining formal specifications with test driven development
    Baumeister, H
    EXTREME PROGRAMMING AND AGILE METHODS - XP/ AGILE UNIVERSE 2004, PROCEEDINGS, 2004, 3134 : 1 - 12
  • [9] Using Formal Specifications to Support Testing
    Hierons, Robert M.
    Bogdanov, Kirill
    Bowen, Jonathan P.
    Cleaveland, Rance
    Derrick, John
    Dick, Jeremy
    Gheorghe, Marian
    Harman, Mark
    Kapoor, Kalpesh
    Krause, Paul
    Luettgen, Gerald
    Simons, Anthony J. H.
    Vilkomir, Sergiy
    Woodward, Martin R.
    Zedan, Hussein
    ACM COMPUTING SURVEYS, 2009, 41 (02)
  • [10] Automatic testing from formal specifications
    Satpathy, Manoranjan
    Butler, Michael
    Leuschel, Michael
    Ramesh, S.
    TESTS AND PROOFS, 2007, 4454 : 95 - +
12345