APPROACHES TO SPECIFICATION-BASED TESTING

被引：11
|
作者：
RICHARDSON, DJ
OMALLEY, O
TITTLE, C
机构：
来源：
PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ) | 1989年 / 14卷
关键词：
D O I：
10.1145/75309.75319
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：86 / 96
页数：11
相关论文
共 50 条
  • [1] Specification model checking and specification-based testing: Complementary approaches to quality in design
    Boughdadi, M
    Busser, B
    [J]. 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2000, : 55 - 59
  • [2] Integration of specification-based and CR-based approaches for GUI testing
    Chen, WK
    Tsai, TH
    Chao, HH
    [J]. 19TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS: AINA 2005, 2005, : 967 - 972
  • [3] Integration of specification-based and CR-based approaches for GUI testing
    Chen, Woei-Kae
    Shen, Zheng-Wen
    Tsai, Tung-Hung
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2008, 24 (05) : 1293 - 1307
  • [4] A framework for specification-based testing
    Stocks, P
    Carrington, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (11) : 777 - 793
  • [5] Specification-based testing for refinement
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
  • [6] Towards specification-based web testing
    Chen, J
    Chovanec, S
    [J]. WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
  • [7] Specification-based testing of interactive systems
    MacColl, I
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
  • [8] Specification-based testing of user interfaces
    Paiva, Ana C. R.
    Faria, João C. P.
    Vidal, Raul F. A. M.
    [J]. Lect. Notes Comput. Sci., (139-153):
  • [9] Editorial: Specification-based testing revisited?
    White, LJ
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (01): : 1 - 2
  • [10] A framework for specification-based class testing
    Liu, L
    Miao, HK
    Zhan, X
    [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 153 - 162
12345