The Experts below are selected from a list of 111 Experts worldwide ranked by ideXlab platform

Jang-eui Hong - One of the best experts on this subject based on the ideXlab platform.

  • Estimation of Energy Consumption for Mobile Software using UML State Machine Diagram
    International Journal of Software Engineering and its Applications, 2013
    Co-Authors: Jae-wuk Lee, Doo-hwan Kim, Jang-eui Hong
    Abstract:

    The application software operated on mobile device like a smart phone is hard to ensure continuously provision of stable services because of limited resource like a battery. Therefore the requirements on the energy consumption of mobile software become one of critical issues in the software development. To cover the problem that the energy consumption requirement of software was not satisfied when code development is completed, we propose an energy consumption analysis technique using software design model, UML State Machine Diagram. The design model is transferred to Coloured Petri-Net to estimate the energy consumption. Our technique gives a chance to reduce the energy consumption in the process of software development

  • analysis of power consumption for embedded software using uml State Machine Diagram
    The Kips Transactions:partd, 2012
    Co-Authors: Jae-wuk Lee, Jang-eui Hong
    Abstract:

    A wide variety of smartphone applications is increasing the usage time of smartphone. Due to the increased time, it becomes difficult to providing stable services to users with limited battery capacity. The past works have been performed the power management of mobile device toward long-lasting battery development or low-power electric devices. However as the complexity of software embedded into system are increased, the research interests of the software power analysis is also increased. Among these studies on the software power analysis, model-based analysis technique is one of major interests because it can be able to analyze the power consumption before the development of source codes, then the analysis result can be used in the development of the software system, This paper suggests a model-based power analysis technique using UML State Machine Diagram. Our proposed technique estimates the power consumption by the simulation of Perti-net which is transformed from the State Machine Diagram.

Tian Zhang - One of the best experts on this subject based on the ideXlab platform.

  • an mde based approach to the verification of sysml State Machine Diagram
    Asia-Pacific Symposium on Internetware, 2012
    Co-Authors: Xiaopu Huang, Qingqing Sun, Minxue Pan, Tian Zhang
    Abstract:

    State Machine Diagram (SMD) is one of the SysML behavior Diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an instance to illustrate the validity of our approach.

  • mde based verification of sysml State Machine Diagram by uppaal
    International Conference on Trustworthy Computing and Services, 2012
    Co-Authors: Xiaopu Huang, Qingqing Sun, Tian Zhang
    Abstract:

    State Machine Diagram (SMD) is one of the SysML behavior Diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an instance to illustrate the validity of our approach.

Durga Prasad Mohapatra - One of the best experts on this subject based on the ideXlab platform.

  • regression testing of object oriented systems using uml State Machine Diagram and sequence Diagram
    International Journal of Computing Science and Mathematics, 2020
    Co-Authors: Namita Panda, Arup Abhinna Acharya, Durga Prasad Mohapatra
    Abstract:

    The software requirements are modelled using UML State Machine Diagram and UML sequence Diagram. The different features of both the Diagrams are combined and an intermediate graph, i.e., State sequence graph (SSG) is generated. The affected nodes, due to different changes in the past versions of the applications are stored for further analysis. Whenever, a new version of the software is developed, and it is under regression testing, test scenario prioritisation is carried out by finding the frequent pattern from the stored modification history. Different other factors like number of message passing, number of State changes etc. also contribute in prioritising the test cases. The proposed approach is applied on different case studies and the results are recorded. This approach is found to be very efficient when evaluated using prioritisation metric and compared with other related work.

  • functionality testing of object oriented software using uml State Machine Diagram
    International Conference on Circuits, 2018
    Co-Authors: Vikas Panthi, Ashraf Gardizy, Ramesh Kumar Mohapatra, Durga Prasad Mohapatra
    Abstract:

    This paper proposed automatic test scenario generation technique using UML State Machine Diagram. We have considered the State Machine Diagram as input for our proposed parser named XMLtoTS, which generates the Control Flow Graph (CFG) of the system. In this paper, we have proposed algorithm SMTSGA (State Machine to Test Scenario Generation Algorithm) for generating test scenarios. Proposed algorithm SMTSGA generate all test scenarios. The generation of test scenarios is important for test case generation of the system. We have used this process during the design phase of the software development prior the actual testing phase to reduce the cost of and time of testing and later it will also require less effort for testing of the system.

Eric W Wong - One of the best experts on this subject based on the ideXlab platform.

  • uml State Machine Diagram driven runtime verification of java programs for message interaction consistency
    ACM Symposium on Applied Computing, 2008
    Co-Authors: Xiaokang Qiu, Linzhang Wang, Bin Lei, Eric W Wong
    Abstract:

    In object-oriented programs, we often need to set some restrictions on the temporal orders of the message receiving for objects, which forms a class of safety requirements. In this paper, we use UML State Machine Diagrams as design specifications, and present an approach to runtime verification of Java programs, which is focused on the temporal order of message receiving based consistency verification between the behavior of State Machine Diagrams and the program execution traces. In the approach, we first instrument the program under verification so as to gather the program execution traces related to a given State Machine Diagram. Then we drive the instrumented program by random test cases so as to generate the program execution traces. Finally we check if the collected program execution traces are consistent with the behavior of the State Machine Diagram, which means that the temporal orders of the message receiving occurring in the program traces are consistent with the ones occurring in the State Machine Diagram. Our approach can be used to detect not only the program bugs resulting from the wrong temporal orders of message receiving, but also the imperfect State Machine models constructed in reverse engineering for legacy systems, and leads to a testing tool which may proceed in a fully automatic fashion.

Gerti Kappel - One of the best experts on this subject based on the ideXlab platform.

  • UML at Classroom : An Introduction to Object-Oriented Modeling
    Springer, 2020
    Co-Authors: Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
    Abstract:

    This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual Diagram types of UML (the class and object Diagram, the sequence Diagram, the State Machine Diagram, the activity Diagram, and the use case Diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value. Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material

  • the State Machine Diagram
    2015
    Co-Authors: Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
    Abstract:

    Over the course of its life, every system, or to be more precise every object, goes through a finite number of different States. Using a State Machine Diagram, you can model the possible States for the system or object in question, how State transitions occur as a consequence of occurring events, and what behavior the system or object exhibits in each State.