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 条
  • [21] Comparison of fault classes in specification-based testing
    Okun, V
    Black, PE
    Yesha, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (08) : 525 - 533
  • [22] Specification-based testing for GUI-based applications
    Chen, J
    Subramaniam, S
    SOFTWARE QUALITY JOURNAL, 2002, 10 (03) : 205 - 224
  • [23] Specification-based class testing: A case study
    MacColl, I
    Murray, L
    Strooper, P
    Carrington, D
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 222 - 231
  • [24] A model of specification-based testing of interactive systems
    MacColl, I
    Carrington, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1862 - 1862
  • [25] Thoroughness of specification-based testing of synchronous programs
    Parissis, I
    Vassy, M
    ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 191 - 200
  • [26] CHOC'LATE A Framework for Specification-based Testing
    Poon, Pak-Lok
    Tang, Sau-Fun
    Tse, T. H.
    Chen, T. Y.
    COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 113 - 118
  • [27] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    IEEE Access, 2022, 10 : 24955 - 24975
  • [28] Automated Specification-Based Testing of REST APIs
    Banias, Ovidiu
    Florea, Diana
    Gyalai, Robert
    Curiac, Daniel-Ioan
    SENSORS, 2021, 21 (16)
  • [29] On Testing Techniques for Specification-based Software Structure
    Zhong, Li
    2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 22 - 25
  • [30] Specification-based logic coverage testing criteria
    Qian Z.-S.
    Miao H.-K.
    Ruan Jian Xue Bao/Journal of Software, 2010, 21 (07): : 1536 - 1549
12345