Logo des Repositoriums

Auflistung nach Schlagwort "correctness"

1 - 3 von 3
  • Zeitschriftenartikel
    Analyzing Code Corpora to Improve the Correctness and Reliability of Programs
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Patra, Jibesh
    The goal of the dissertation summarized here is to use program analysis and novel learning-based techniques to alleviate some of the challenges faced by developers while ensuring the correctness and reliability of programs. We focus on dynamically typed languages such as JavaScript and Python for their popularity and present six approaches that leverages analysis of code corpora in aiding to solve software engineering problems. We use static analysis to generate new programs, to seed bugs in programs, and to obtain data for training neural models. We present an effective technique called Generalized Tree Reduction algorithm (GTR), to reduce arbitrary test inputs that can be represented as a tree, such as program code, PDF files, and XML documents. The efficiency of input reduction is increased by learning transformations from a corpus of example data.
  • Zeitschriftenartikel
    Building Transformation Networks for Consistent Evolution of Interrelated Models
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Klare, Heiko
    In model-driven development, models and constitute central units of the development process, from which also parts of the program code can be derived. A common means to preserve consistency between models are transformations, which adapt the other models after one of them was changed. Existing research is focused on bidirectional transformations that preserve consistency between pairs of models. Actual software systems are, however, usually described with more than two models, and the languages used to specify them vary between projects. In this thesis, we research how developers can combine multiple transformations to a network that is able to execute these transformations in an order such that all resulting models are consistent. We consider the problem from a software engineer’s perspective and make the central assumption that each transformation between two languages is developed independently and that the transformations are not and cannot be aligned with each other, in order to support independent development and reuse. We base mathematically founded as well as empirical considerations from case studies on these assumptions. Our contributions are separated into those concerning the correctness and those concerning the optimization of quality properties of such a combination of transformations to a network.
  • Konferenzbeitrag
    OOLH: A formal framework for specifying system requirements
    (SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, 2008) Hon, Yuen Man; Gayen, Jan-Tecker; Ehrich, Hans-Dieter
    Most of the system requirements are written in natural language. It is not easy for the system development team to understand this document unambiguously without domain specific knowledge. It is difficult to check the correctness of these requirements. A formal framework called Object Oriented Lastenheft (German for re- quirements specification) (OOLH) is proposed as a solution to handle these problems 1. This framework provides well-defined mathematical concepts to formulate system requirements. These well-formalized system requirements can be analyzed and understood easier and their consistency can be checked based on the mathematical concepts. A tool, called OOLH tool, is implemented to support analyzing, verifying and checking consistency of formulas in OOLH. Logical formulas can be transformed into decision tables and truth tables. The expected behavior or a design can be specified in decision tables in this tool, such that the correctness of requirements can be verified.