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
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
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 ...
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); 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 ...
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 ...