Reverse engineering concurrent UML state machines using black box testing and genetic programming
MetadataShow full item record
This paper presents a technique for reverse engineering, a software system generated from a concurrent unified modeling language state machine implementation. In its first step, a primitive sequential finite-state machine (FSM) is deduced from a sequence of outputs emitted from black box tests applied to the systems’ input interface. Next, we provide an algorithmic technique for decomposing the sequential primitive FSM into a set of concurrent (orthogonal) primitive FSMs. Lastly,we showa genetic programming machine learning technique for discovering local variables, actions performed on local and non-binary output variables, and two types of intra-FSM loops, called counting-loops and while-loops.
The article of record as published may be found at http://link.springer.com/article/10.1007/s11334-017-0299-9
Showing items related by title, author, creator and subject.
Nagashima, M.; Agrawal, B.N. (2012);For a large Adaptive Optics (AO) system such as a large Segmented Mirror Telescope (SMT), it is often difficult, although not impossible, to directly apply common Multi-Input Multi-Output (MIMO) controller design methods ...
Kim, J.J.; Agrawal, B.N. (2008);This paper presents a slew maneuver control design of three-axis rotational flexible spacecraft. The focus of the work is to investigate the nonlinear effect of the three axis maneuver for a flexible spacecraft when a ...
Statistical post-processing of the navy nested tropical cyclone model and the operational tropical cyclone model : final report for period October 1980-September 1981 Peak, James E.; Elsberry, Russell L. (Monterey, California. Naval Postgraduate School, 1981-09); NPS-63-81-003A statistical technique proposed by Elsberry and Frill (1980) for adjusting dynamical tropical cyclone motion forecasts is extended to the Two-Way Interactive Nested Tropical Cyclone Model (NTCM) and the operational ...