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 条
  • [31] A model of specification-based testing of interactive systems
    MacColl, I
    Carrington, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1862 - 1862
  • [32] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    Software Quality Journal, 2002, 10 : 205 - 224
  • [33] Evaluation of three specification-based testing criteria
    Abdurazik, A
    Ammann, P
    Ding, W
    Offutt, J
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
  • [34] Evaluation of three specification-based testing criteria
    Abdurazik, Aynur
    Ammann, Paul
    Ding, Wei
    Offutt, Jeff
    2000, IEEE, Piscataway, NJ, United States
  • [35] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [36] An extended fault class hierarchy for specification-based testing
    Lau, MF
    Yu, YT
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (03) : 247 - 276
  • [37] Mutation Analysis of Specification-Based Contracts in Software Testing
    Khalilov, Abbas
    Tuglular, Tugkan
    Belli, Fevzi
    2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
  • [38] ADLscope: an automated specification-based unit testing tool
    Chang, J
    Richardson, DJ
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
  • [39] A Specification-Based Approach to the Testing of Java Memory Bloat
    Qian, Ju
    Zhou, Xiaoyu
    Dang, Wanchun
    Wang, Ziyuan
    Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352
  • [40] GUICop: Approach and toolset for specification-based GUI testing
    Hammoud, Dalal
    Zaraket, Fadi A.
    Masri, Wes
    Software Testing Verification and Reliability, 2017, 27 (08)
12345