Testing from specifications

被引：0
|
作者：
McGregor, JD
机构：
来源：
JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1997年 / 10卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：6 / 10
页数：5
相关论文
共 50 条
  • [1] Testing from structured algebraic specifications
    Machado, PDL
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 529 - 544
  • [2] Automatic testing from formal specifications
    Satpathy, Manoranjan
    Butler, Michael
    Leuschel, Michael
    Ramesh, S.
    [J]. TESTS AND PROOFS, 2007, 4454 : 95 - +
  • [3] Testing from partial deterministic FSM specifications
    Petrenko, A
    Yevtushenko, N
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2005, 54 (09) : 1154 - 1165
  • [4] Automating functional testing of components from UML specifications
    Barbosa, Daniel L.
    Lima, Helton S.
    Machado, Patricia D. L.
    Figueiredo, Jorge C. A.
    Juca, Makelli A.
    Andrade, Wilkerson L.
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2007, 17 (03) : 339 - 358
  • [5] Conformance Testing from UML Specifications Experience Report
    LRS-IMAG, BP 72, St Martin d'Hères cedex
    38402, France
    不详
    13881, France
    不详
    35042, France
    [J]. Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI), (43-55):
  • [6] Testing the completeness of specifications
    Jalote, Pankaj
    [J]. IEEE Transactions on Software Engineering, 1992, v (0n) : 526 - 531
  • [7] AN APPROACH TO TESTING SPECIFICATIONS
    JARD, C
    VONBOCHMANN, G
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 315 - 323
  • [8] TESTING THE COMPLETENESS OF SPECIFICATIONS
    JALOTE, P
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (05) : 526 - 531
  • [9] Extracting significant specifications from mining through mutation testing
    Nguyen, Anh Cuong
    Khoo, Siau-Cheng
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6991 LNCS : 472 - 488
  • [10] Testing from Structured Algebraic Specifications: The Veritas Case Study
    Machado, Patricia D. L.
    Oliveira, Elthon A. S.
    Barbosa, Paulo E. S.
    Rodrigues, Cassio L.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 235 - 261
12345