Control flow, data flow and program complexity
Software engineering metrics I
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Improving data-flow analysis with path profiles
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
The Combining DAG: A Technique for Parallel Data Flow Analysis
IEEE Transactions on Parallel and Distributed Systems
Using UML Action Semantics for Executable Modeling and Beyond
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A program complexity metric based on data flow information in control graphs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Improving Statechart Testing Criteria Using Data Flow Information
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A generic architecture for data flow analysis to support reverse engineering
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Applying data-flow analysis to models a novel approach for model analysis
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
A method for data-flow analysis of business components
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
An automated approach to transform use cases into activity diagrams
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models use precise action languages to specify the algorithms and computational details required for execution. These action languages are developed on the basis of UML action semantics metamodel that provides the abstract syntax. The use of a concrete action language makes a traditional model work like an executable one. The actions specified by the action language might involve variables and their data values that are useful to be analyzed in terms of data flow. In this paper, we provide data flow analysis (DFA) of the standard UML action semantics that can be used with executable models. The analysis provides a generic data flow at the abstract syntax level and allows a mapping to any of the action languages providing the concrete syntax. Our approach does not focus on a particular action language; therefore it can easily be applied to any concrete syntax. We apply the proposed approach to a case study and identify the data flow from executable UML state machine.