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 条
  • [41] Specification-based Testing of Synchronous Software Software Engineering
    Software Eng Notes, 6 (127):
  • [42] 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
  • [43] Strategies for automated specification-based testing of synchronous software
    Parissis, I
    Vassy, J
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 364 - 367
  • [44] Specification-based testing of Ada units with low encapsulation
    Reyes, AA
    Richardson, DJ
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 22 - 31
  • [45] Specification-based testing for CoCASL'S modal specifications
    Longuet, Delphine
    Aiguier, Marc
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 356 - 371
  • [46] Specification-based incremental testing of object oriented systems
    Soundarajan, N
    Tyler, B
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 35 - 44
  • [47] GUICop: Approach and toolset for specification-based GUI testing
    Hammoud, Dalal
    Zaraket, Fadi A.
    Masri, Wes
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2017, 27 (08):
  • [48] A KNOWLEDGE-BASED APPROACH TO THE SPECIFICATION-BASED PROGRAM TESTING
    TEPANDI, J
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1988, 7 (01): : 39 - 48
  • [49] Use of sequencing constraints for specification-based testing of concurrent programs
    Carver, RH
    Tai, KC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (06) : 471 - 490
  • [50] Specification model checking and specification-based testing: Complementary approaches to quality in design
    Boughdadi, M
    Busser, B
    6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2000, : 55 - 59
12345