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

被引：8
作者：
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 [J].
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 the Design, Verification and Deployment of Railway Interlocking System [J].
Amendola, Arturo ;
Becchi, Anna ;
Cavada, Roberto ;
Cimatti, Alessandro ;
Griggio, Alberto ;
Scaglione, Giuseppe ;
Susi, Angelo ;
Tacchella, Alberto ;
Tessi, Matteo .
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATIONS, ISOLA 2020, PT III, 2020, 12478 :240-254
[23]   A Model-based Approach to Address the Design of Web 2.0 Applications based on Web Services [J].
Paterno, Fabio ;
Santoro, Carmen ;
Spano, Lucio Davide .
INTERACTION DESIGN AND ARCHITECTURES, 2008, (5-6) :17-22
[24]   Model-based approach to study of mechanisms of complex image viewing [J].
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
[25]   Model-Based Verification of Safety Contracts [J].
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
[26]   Model-based Runtime Verification Framework [J].
Zhao, Yuhong ;
Rammig, Franz .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) :179-193
[27]   A model-based signature verification system [J].
Zimmer, Alessandro ;
Ling, Lee L. .
2007 FIRST IEEE INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS, 2007, :330-+
[28]   MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE [J].
Shokry, Hesham ;
Hinchey, Mike .
COMPUTER, 2009, 42 (04) :53-+
[29]   A model-based approach to automation of formal verification of ROS 2-based systems [J].
Dust, Lukas ;
Gu, Rong ;
Mubeen, Saad ;
Ekstrom, Mikael ;
Seceleanu, Cristina .
FRONTIERS IN ROBOTICS AND AI, 2025, 12
[30]   SmartOSEK based design and verification for in-vehicle network system: A model-based approach [J].
Yang, Guoqing ;
Zhao, Minde ;
Li, Hong ;
Wu, Zhaohui .
2006 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1- 5, 2006, :1449-+
12345