DeepTrans - A model-based approach to functional verification of address translation mechanisms

被引：7
作者：
Adir, A [1 ]
Emek, R [1 ]
Katz, Y [1 ]
Koyfman, A [1 ]
机构：
[1] IBM Res Lab, Haifa, Israel
来源：
4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/MTV.2003.1250255
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a new test case generation technology, specifically targeted at verifying systems that include address translation mechanisms. The ever-growing demand for performance makes these mechanisms more complex, thereby increasing the risk of bugs and increasing the need for such technology. DeepTrans is a package that provides model-based test generation capabilities to verify translation mechanisms based on a modeling language. The modeling language includes constructs for describing the address translation process, commonly used translation resources, and architecture rules related to translation. DeepTrans is currently used by two different IBM test generators.
引用
收藏
页码：3 / 6
页数：4
相关论文
共 50 条
  • [21] Data-driven and Model-based Verification: a Bayesian Identification Approach
    Haesaert, S.
    Abate, A.
    Van den Hof, P. M. J.
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 6830 - 6835
  • [22] A Model-based Approach to Address the Design of Web 2.0 Applications based on Web Services
    Paterno, Fabio
    Santoro, Carmen
    Spano, Lucio Davide
    INTERACTION DESIGN AND ARCHITECTURES, 2008, (5-6) : 17 - 22
  • [23] Model-based approach to study of mechanisms of complex image viewing
    Podladchikova L.N.
    Shaposhnikov D.G.
    Tikidgji-Hamburyan A.V.
    Koltunova T.I.
    Tikidgji-Hamburyan R.A.
    Gusakova V.I.
    Golovan A.V.
    Optical Memory and Neural Networks (Information Optics), 2009, 18 (02): : 114 - 121
  • [24] Model-Based Verification of Safety Contracts
    Gomez-Martinez, Elena
    Rodriguez, Ricardo J.
    Etxeberria Elorza, Leire
    Illarramendi Rezabal, Miren
    Benac Earle, Clara
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 101 - 115
  • [25] A model-based signature verification system
    Zimmer, Alessandro
    Ling, Lee L.
    2007 FIRST IEEE INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS, 2007, : 330 - +
  • [26] Model-based Runtime Verification Framework
    Zhao, Yuhong
    Rammig, Franz
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) : 179 - 193
  • [27] MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE
    Shokry, Hesham
    Hinchey, Mike
    COMPUTER, 2009, 42 (04) : 53 - +
  • [28] SmartOSEK based design and verification for in-vehicle network system: A model-based approach
    Yang, Guoqing
    Zhao, Minde
    Li, Hong
    Wu, Zhaohui
    2006 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1- 5, 2006, : 1449 - +
  • [29] Stochastic Functional Data Analysis: A Diffusion Model-Based Approach
    Zhu, Bin
    Song, Peter X. -K.
    Taylor, Jeremy M. G.
    BIOMETRICS, 2011, 67 (04) : 1295 - 1304
  • [30] Identification of Brain Functional Networks Using a Model-Based Approach
    Oikonomou, Vangelis P.
    Blekas, Konstantinos
    Astrakas, Loukas
    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2020, 34 (08)
12345