Automatic timing model generation by CFG partitioning and model checking

被引：18

作者：

Wenzel, I ^{[1
]}

Rieder, B ^{[1
]}

Kirner, R ^{[1
]}

Puschner, P ^{[1
]}

机构：

[1] Vienna Univ Technol, Inst Tech Informat, A-1040 Vienna, Austria

来源：

DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/DATE.2005.76

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we present a new measurement- based, worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform. runtime measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on source code level our approach is platform independent except for the run time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.

引用

页码：606 / 611

页数：6

共 50 条

[41] Test Model Generation using Equivalence Partitioning
Jahanbin, Sorour
Zamani, Bahman
2018 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2018, : 98 - 103
[42] Test generation for Intelligent Networks using model checking
Engels, A
Feijs, L
Mauw, S
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 384 - 398
[43] Counterexample generation for probabilistic timed automata model checking
Department of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
Jisuanji Yanjiu yu Fazhan, 2008, 10 (1638-1645):
[44] Model checking and code generation for transaction processing software
Mentis, Anakreon
Katsaros, Panagiotis
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (07): : 711 - 722
[45] Using model checking for reducing the cost of test generation
Hong, HS
Ural, H
FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 110 - 124
[46] Test Generation Using Model Checking and Specification Mutation
Black, Paul E.
IT PROFESSIONAL, 2014, 16 (02) : 17 - 21
[47] Optimization of model checking-based test generation
Zeng, Hongwei
Miao, Huaikou
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2011, 23 (03): : 496 - 502
[48] Symbolic counter-example generation for model checking
Askari, Mahmoud
Shojaei, Hamid
Faghani, Fataneh
AEE' 08: PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLICATION OF ELECTRICAL ENGINEERING, 2008, : 154 - +
[49] Specification and Generation of Environment for Model Checking of Software Components
Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic
不详
Electron. Notes Theor. Comput. Sci., 2 (143-154):
[50] Model generation by the exhaustive search for embedded assembly programs and application to model checking
20151000615754
(1) Graduate School of Natural Science Technology, Kanazawa University, Japan, 1600, (Institute of Electrical and Electronics Engineers Inc., United States):

← 1 2 3 4 5 →