Automatic Code Generation from Finite State Machines

被引：0

作者：

Rincon Nigro, Mario ^{[1
]}

Aguilar Castro, Jose ^{[1
]}

Hidrobo Torres, Francisco ^{[2
]}

机构：

[1] Univ Los Andes, CEMISID, Fac Ingn, Merida, Venezuela

[2] Univ Los Andes, SUMA, Fac Ciencias, Merida, Venezuela

来源：

COMPUTACION Y SISTEMAS | 2011年 / 14卷 / 04期

关键词：

Theory of Computing; Models of Computation; Finite State Machines; Automatic Code Generation; UML;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this work, we present a tool for automatic source code generation, in OO languages, from abstract models expressed in UML. The tool allows the code generation, as much of the static structure as the dynamic behavior, present in models of software systems. Specifically, it allows to generate source code in the C++ language, from the classes diagrams, state diagrams, and activities diagrams of the UML. This tool could be integrated to a modeling CASE tool, with appropriate exporting capacities of UML models in format XMI. We present details of tool design and implementation, with special attention in code generation for dynamic behavior. In addition, to evaluate the tool, we present study cases

引用

页码：405 / 421

页数：17

共 50 条

[41] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
Derderian, K
Hierons, RM
Harman, M
Guo, Q
GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 1429 - 1430
[42] GENERATION OF OPTIMAL CODE FOR STACK MACHINES
BRUNO, JL
LASSAGNE, T
JOURNAL OF THE ACM, 1975, 22 (03) : 382 - 396
[43] Test generation algorithm for the All-Transition-State criteria of Finite State Machines
Nemeth, Gabor Arpad
Lugosi, Mate Istvan
INFOCOMMUNICATIONS JOURNAL, 2021, 13 (03): : 56 - 65
[44] Test generation for multiple state-table faults in finite-state machines
Pomeranz, I
Reddy, SM
IEEE TRANSACTIONS ON COMPUTERS, 1997, 46 (07) : 783 - 794
[45] Code Design for Flicker Mitigation in Visible Light Communications Using Finite State Machines
Mejia, Carlos E.
Georghiades, Costas N.
Abdallah, Mohamed M.
Al-Badarneh, Yazan H.
IEEE TRANSACTIONS ON COMMUNICATIONS, 2017, 65 (05) : 2091 - 2100
[46] Automatic generation of power state machines through dynamic mining of temporal assertions
Danese, Alessandro
Pravadelli, Graziano
Zandona, Ivan
PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 606 - 611
[47] Formal testing from timed finite state machines
Merayo, Mercedes G.
Nunez, Manuel
Rodriguez, Ismael
COMPUTER NETWORKS, 2008, 52 (02) : 432 - 460
[48] Deriving test sequences from finite state machines
Stoll, Wilhelm
Proceedings of the International Conference on Computer Communication, 1991,
[49] Mutation testing from probabilistic finite state machines
Hierons, Robert M.
Merayo, Mercedes G.
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 141 - +
[50] Automatic test generation from communicating extended finite state machine (CEFSM)-based models
Li, JJ
Wong, WE
ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 181 - 185

← 1 2 3 4 5 →