—Data flow analysis (DFA) technique is used to analyze program into data variables and identify data flow operation on these variables. This basic information can be used to identify data dependencies, test data, program execution paths and hence it is helpful in the testing process to verify expected behavior of the system. In terms of executable UML, the models are based on action languages which internally consist of variables and specify data flow operation on these variables. Therefore, DFA of action languages is essential to analyze UML models in term of data flow and use the information to verify formal correctness (expected behavior) of the system. In our proposed approach, we are using action language for fUML (ALF) to design and analyze executable UML model. Analytical results show that DFA of executable models provides the precise execution flow of variables which are used to identify data dependencies and verification of system expected behavior from its abstract model.
—DFA, UML, testing, executable UML, ALF.
S. Obaid is with ARID Agriculture University, Rawalpindi (e-mail: firstname.lastname@example.org).
S. Asghar is with University Institute of Information Technology, PMAS-Arid Agriculture University, Rawalpindi (e-mail: email@example.com).
M. Naeem is with Muhammad Ali Jinnah University, Islamabad (e-mail: firstname.lastname@example.org).
Cite:S. Obaid, S. Asghar, and M. Naeem, "Data Flow Analysis of UML Models by ALF," International Journal of Trade, Economics and Finance vol.5, no.1, pp. 12-18, 2014.