Logo des Repositoriums

Auflistung nach Autor:in "Wotawa, Franz"

1 - 3 von 3
  • Konferenzbeitrag
    21st Workshop on Automotive Software Engineering (ASE'24)
    (Software Engineering 2024 (SE 2024), 2024) Kugele, Stefan; Wotawa, Franz
  • Konferenzbeitrag
    Creating Test-Cases Incrementally with Model-Checkers
    (Informatik 2007 – Informatik trifft Logistik – Band 2, 2007) Fraser, Gordon; Wotawa, Franz
    Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, they are flexible due to different concrete techniques, and under certain conditions they are also efficient. There are still many issues that need to be resolved in order to achieve widespread acceptance in the industry. Because model- checkers were not originally designed with test-case generation in mind, a large percentage of the test-cases produced are duplicates. Many of the remaining test-cases share identical prefixes that do not contribute to the overall fault sensitivity of a test- suite. Some test criteria also result in large test-suites of rather short test-cases. In this paper, we address these problems and suggest to create test-cases incrementally instead of separately for each test requirement. For this, heuristics based on an es- timated distance between a state and a temporal logic formula are presented, which allows to chose which test-case to extend with regard to which test requirement.
  • Konferenzbeitrag
    Executing Abstract Test Cases
    (Informatik 2007 – Informatik trifft Logistik – Band 2, 2007) Peischl, Bernhard; Weiglhofer, Martin; Wotawa, Franz
    Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a rule based test execution framework, which allows the execution of abstract test cases. Furthermore, we present first results from testing a so called SIP Registrar by executing abstract test cases derived with the TGV tool from a formal specification.