Logo des Repositoriums

Auflistung nach Autor:in "Zeiss, Benjamin"

1 - 3 von 3
  • Konferenzbeitrag
    Applying the ISO 9126 Quality Model to Test Specifications – Exemplified for TTCN-3 Test Specifications
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Zeiss, Benjamin; Vega, Diana; Schieferdecker, Ina; Neukirchen, Helmut; Grabowski, Jens
    Quality models are needed to evaluate and set goals for the quality of a software product. The international ISO/IEC standard 9126 defines a general quality model for software products. Software is developed in different domains and the usage of the ISO/IEC quality model requires an instantiation for each concrete domain. One special domain is the development and maintenance of test specifications. Test specifications for testing, e.g. the Internet Protocol version 6 (IPv6) or the Session Initiation Protocol (SIP), reach sizes of more than 40.000 lines of test code. Such large test specifications require strict quality assurance. In this paper, we present an adaptation of the ISO/IEC 9126 quality model to test specifications and show its instantiation for test specifications written in the Testing and Test Control Notation (TTCN-3). Example measurements of the standardised SIP test suite demonstrate the applicability of our approach.
  • 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
    A TTCN-3-based web service test framework
    (Software Engineering 2008, 2008) Werner, Edith; Grabowski, Jens; Troschütz, Stefan; Zeiss, Benjamin