Logo des Repositoriums

Auflistung nach Autor:in "Ulrich, Andreas"

1 - 4 von 4
  • Konferenzbeitrag
    Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies
    (INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Zeiss, Benjamin; Ulrich, Andreas; Grabowski, Jens
    In the standardization of test specifications, it is common that no actual systems exist against which the tests can be executed. Test specifications are devel- oped abstractly in high level languages such as the Testing and Test Control Nota- tion (TTCN-3), but they can only be executed when a separate adaptation layer is implemented. Static syntactical and semantical analyses as provided by the compiler and proper manual code reviews are the only means to find mistakes in such test spec- ifications at early stages of design. In this paper, we demonstrate that it is possible to execute abstract test specifications when the system does not exist yet. We use the information provided within the test cases to simulate answers of the system by gener- ating inverse messages to expected messages in the abstract test case. By following a specific coverage-criterion strategy, we are able to execute a sufficient amount of test paths to reverse-engineer behavioral models of test cases which can then again be used for the analyses of potential problems.
  • Konferenzbeitrag
    Formal modeling of communication traces
    (2003) Boroday, Sergiy; Hallal, Hesham; Petrenko, Alexandre; Ulrich, Andreas
    Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced by an instrumented system facilitating analysis, testing, and debugging. This paper presents a formal framework for the analysis of distributed system logs based on event trace concept. A partially ordered trace of events executed by a distributed system is modeled by a collection of communicating automata. We present an implementation of the analysis approach in SDL based on ObjectGEODE. A formalization of a property of an event trace, being a replica of another trace, is discussed.
  • Konferenzbeitrag
    Introducing Model-Based Testing Techniques in Industrial Projects
    (Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Ulrich, Andreas
    The paper is an experience report on the introduction of model-based testing (MBT) approaches in industrial projects. It reflects the author’s subjective view on that matter that he gained in various software development projects at Siemens. Existing MBT approaches are classified and evaluated according to their importance in recent projects. In addition the necessary requirements and efforts to successfully introduce MBT into existing projects are discussed.
  • Zeitschriftenartikel
    TAV 23 München “Special Track”: Neuere Entwicklungen im Testbereich der SIEMENS AG - CT SE 1
    (Softwaretechnik-Trends Band 26, Heft 1, 2006) Ulrich, Andreas