Logo des Repositoriums

Auflistung nach Autor:in "Said, Wasim"

1 - 3 von 3
  • Konferenzbeitrag
    Mining of Comprehensible State Machine Models for Embedded Software Comprehension
    (Softwaretechnik-Trends Band 39, Heft 2, 2019) Said, Wasim; Quante, Jochen
    Embedded legacy software contains a lot of expert knowledge that has been cumulated over many years. Therefore, it usually provides highly valuable and indispensable functionality. At the same time, it becomes more and more complex to understand and maintain. Mining of understandable models, such as state machines, from such software can greatly support developers in maintenance, evolution and reengineering tasks. Developers need to understand the software in order to evolve it. Existing state machine mining approaches are based on symbolic execution, which means enumeration of all paths. This quickly leads to path explosion problem. One effect of this problem on state machine mining is that the extracted models contain a very high number of states and transitions, and therefore are not useful for human comprehension. This means that additional measures towards comprehensibility of extracted state machines are required. To reach this goal, we introduced user interaction measures that can reduce the complexity of extracted state machines by reducing the number of states and transitions.
  • Konferenzbeitrag
    Reflexion Models for State Diagrams
    (Softwaretechnik-Trends Band 39, Heft 2, 2019) Quante, Jochen; Said, Wasim
    State diagrams are commonly used for specification or illustration of behavior. They appear on all levels, from high-level system behavior down to behavior of a single function. However, state diagrams are often implemented manually, and there is no guarantee that the implementation corresponds to the specification. Furthermore, a state machine may be implemented in the code without having a specification in form of a state diagram, and it might be that the developer was not even aware that he is implementing one. We call this kind of implementations implicit state machines. Our practical experience has shown that such code is very hard to comprehend. In this paper, we describe our work on applying the idea of reflexion models on state diagrams.
  • Textdokument
    Towards Interactive Model Mining From Embedded Software
    (Softwaretechnik-Trends: Vol. 37, No. 2, 2017) Said, Wasim; Quante, Jochen