AN APPROACH TO TESTING SPECIFICATIONS

被引：8
|
作者：
JARD, C
VONBOCHMANN, G
机构：
[1] CTR NATL ETUD TELECOMMUN, DEPT EVALUAT PROTOCOLES, F-22301 LANNION, FRANCE
[2] UNIV MONTREAL, DEPT INFORMAT & RECH OPERAT, MONTREAL H3C 3J7, QUEBEC, CANADA
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1983年 / 3卷 / 04期
关键词：
D O I：
10.1016/0164-1212(83)90018-3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：315 / 323
页数：9
相关论文
共 50 条
  • [1] AN APPROACH TO TESTING SPECIFICATIONS - PRELIMINARY DRAFT
    JARD, C
    VONBOCHMANN, G
    [J]. SIGPLAN NOTICES, 1983, 18 (08): : 53 - 59
  • [2] A formal approach to testing LUSTRE specifications
    Parissis, I
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 91 - 100
  • [3] Approach to testing the nonexistence of initial state in Z specifications
    Shanghai Univ, Shanghai, China
    [J]. Proc Asian Test Symp, (289-294):
  • [4] A Mutation-Based Approach for Testing AsmetaL Specifications
    Hassine, Jameleddine
    Alkrarha, Osama
    [J]. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2015, 40 (12) : 3523 - 3544
  • [5] A Mutation-Based Approach for Testing AsmetaL Specifications
    Jameleddine Hassine
    Osama Alkrarha
    [J]. Arabian Journal for Science and Engineering, 2015, 40 : 3523 - 3544
  • [6] An approach to integration testing based on data flow specifications
    Chen, Y
    Liu, S
    Nagoya, F
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 235 - 249
  • [7] Testing the completeness of specifications
    Jalote, Pankaj
    [J]. IEEE Transactions on Software Engineering, 1992, v (0n) : 526 - 531
  • [8] TESTING THE COMPLETENESS OF SPECIFICATIONS
    JALOTE, P
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (05) : 526 - 531
  • [9] Testing from specifications
    McGregor, JD
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (06): : 6 - 10
  • [10] A new software testing approach based on domain analysis of specifications and programs
    Zhao, R
    Lyu, MR
    Min, Y
    [J]. ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 60 - 70
12345