Logo des Repositoriums

Auflistung nach Schlagwort "Verification"

1 - 4 von 4
  • Zeitschriftenartikel
    Infinite-state graph transformation systems under adverse conditions
    (it - Information Technology: Vol. 63, No. 4, 2021) Özkan, Okan
    We present an approach for modeling adverse conditions by graph transformation systems. To this end, we introduce joint graph transformation systems which involve a system, an interfering environment, and an automaton modeling their interaction. For joint graph transformation systems, we present notions of correctness under adverse conditions. Some instances of correctness are expressible in LTL (linear temporal logic), or in CTL (computation tree logic), respectively. In these cases, verification of joint graph transformation systems is reduced to temporal model checking. To handle infinite state spaces, we incorporate the concept of well-structuredness. We discuss ideas for the verification of joint graph transformation systems using results based on well-structuredness.
  • Zeitschriftenartikel
    On narrowing the gap between verification and systematic testing
    (it - Information Technology: Vol. 59, No. 5, 2017) Christakis, Maria
    Our work on narrowing the gap between verification and systematic testing has two directions: (1) complementing verification with systematic testing, and (2) pushing systematic testing toward reaching verification. In the first direction, we explore how to effectively combine static analysis with systematic testing, so as to guide test generation toward properties that have not been previously checked by a static analyzer in a sound way. This combination significantly reduces the test effort while checking more unverified properties. In the second direction, we push systematic testing toward checking as many executions as possible of a real and complex image parser, so as to prove the absence of a certain class of errors. This verification attempt required no static analysis or source code annotations; our purely dynamic techniques targeted the verification of the parser implementation, including complicated assembly patterns that most static analyses cannot handle.
  • Konferenzbeitrag
    Pragmatic Reuse for DSML Development
    (Modellierung 2024, 2024) Klikovits, Stefan; Buchs, Didier
    This is a summary of an article (with the same title) originally published in the International Journal on Software and Systems Modeling (Vol. 20, pages 837–866, (2021)) discussing the lessons learned during the development of a DSL for physical resource flows.
  • Konferenzbeitrag
    Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden
    (Software Engineering and Software Management 2019, 2019) Brings, Jennifer; Daun, Marian; Kempe, Markus; Weyer, Thorsten
    Dieser Vortrag berichtet von dem Beitrag On Different Search Methods for Systematic Literature Reviews and Maps: Experiences from a Literature Search on Validation and Verification of Emergent Behavior [Br18], der auf der 22nd International Conference on Evaluation and Assessment in Software Engineering 2018 vorgestellt und in dem Konferenzband veröffentlicht wurde.