Logo des Repositoriums

Auflistung nach Schlagwort "static"

1 - 2 von 2
  • Konferenzbeitrag
    Aspect Mining based on Control-Flow
    (Softwaretechnik-Trends Band 25, Heft 2, 2005) Krinke, Jens; Breu, Silvia
    Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static aspect mining approach, where the control flow graphs of a program are investigated for recurring execution patterns based on different constraints, such as the requirement that the patterns have to exist in different calling contexts. A case study done with the implemented tool shows that most discovered crosscutting candidates are most often perfectly good style.
  • Konferenzbeitrag
    Towards Statically Checking Adherence to API Protocols
    (Softwaretechnik-Trends Band 43, Heft 2, 2023) Quante, Jochen; Naragund, Sushmita Suresh
    API protocols specify sequence constraints on API calls. They are typically available in form of finite state machines. Traditionally, API protocols are checked during runtime only: With each API call, the state in the state machine is tracked. If this leads to an error state (or an unsupported operation in a given state), the protocol is violated. However, it would be much more desirable to check adherence to the protocol statically, i.e., prior to execution of the code. In this paper, we report on our endeavors and experiences on doing such checks statically.