The specification-based testing of a trusted kernel: MK++

被引：0
|
作者：
Ford, RL
Simon, RT
Bevier, WR
Smith, LM
机构：
来源：
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ICFEM.1997.630422
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The MK+ + kernal, a descendant of Mach, was designed and implemented at the Open Group Research Institute. Independently, Computational Logic had developed a formal specification for the Mach kernel interface, We report on the adaptation of this specification to MK+ +, and its use in the derivation of a testing strategy for the MK+ + implementation. The results and utility of the tests are discussed.
引用
收藏
页码：151 / 160
页数：10
相关论文
共 50 条
  • [1] APPROACHES TO SPECIFICATION-BASED TESTING
    RICHARDSON, DJ
    OMALLEY, O
    TITTLE, C
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
  • [2] A framework for specification-based testing
    Stocks, P
    Carrington, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (11) : 777 - 793
  • [3] Specification-based testing for refinement
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
  • [4] Towards specification-based web testing
    Chen, J
    Chovanec, S
    WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
  • [5] Specification-based testing of interactive systems
    MacColl, I
    HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
  • [6] Specification-based testing of user interfaces
    Paiva, Ana C. R.
    Faria, João C. P.
    Vidal, Raul F. A. M.
    Lect. Notes Comput. Sci., (139-153):
  • [7] Editorial: Specification-based testing revisited?
    White, LJ
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (01): : 1 - 2
  • [8] A framework for specification-based class testing
    Liu, L
    Miao, HK
    Zhan, X
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 153 - 162
  • [9] SPECIFICATION-BASED AUTOMATED GUI TESTING
    Andreou, Andreas S.
    Sofokleous, Anastasis
    Panayi, Charis
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 318 - 323
  • [10] An approach to specification-based testing systems
    Zin, AM
    AlAmayreh, A
    Foxley, E
    SOFTWARE QUALITY ENGINEERING, 1997, : 267 - 276
12345