Logo des Repositoriums

Auflistung nach Schlagwort "test"

1 - 2 von 2
  • Zeitschriftenartikel
    Cooperative Approaches Across Test Generation and Formal Software Verification
    (Softwaretechnik-Trends Band 44, Heft 2, 2024) Lemberger, Thomas
    In the last decade, powerful techniques were developed that either automatically generate tests for software, or automatically verify software with formal methods. In both areas it is common to combine different techniques to leverage their strengths and mitigate their weaknesses. This happens through costly, proprietary reimplementations within a single tool. This thesis contrasts this and provide concepts that enable an inexpensive and fast off-the-shelf cooperation of standalone tools through standardized exchange formats.
  • Konferenzbeitrag
    Vision of Continuously Assuring Performance
    (Softwaretechnik-Trends Band 40, Heft 3, 2020) Reichelt, David Georg; Kühne, Stefan; Hasselbring, Wilhelm
    When assuring performance, small performance differences at code level are difficult to measure at application level. Current approaches aimed at performance assurance are capable of identifying hotspots and major performance bugs. Apart from their inability to detect small regressions, they require manual effort for specification and execution. In this paper, we present the vision of continuously assuring performance by using functional unit tests. Utilizing small tests allows developers to detect small performance differences. Additionally, they do not have to define workloads manually if they use functional unit tests, since these are present in most projects. To achieve this, we propose integrating performance measurements in the continuous integration (CI) process, accelerating root cause analysis and creating parallel tests capable of identifying regressions that arise with parallel use.