Logo des Repositoriums

Auflistung nach Autor:in "Vieira, Marlon"

1 - 2 von 2
  • Konferenzbeitrag
    Appyling model-based testing to a train control system
    (INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Didrich, Klaus; Herbst, Stefan; Vieira, Marlon
    In this paper, we report on lessons learned with the application of model-based testing for the system validation of an embedded train control system. The applied approach is based on UML diagrams annotated with category-partition information. The approach consists of modeling, that is, creating UML use cases and activity diagrams from existing documentation, enhancing the models with testing requirements such as test coverage information and data variations, generating test cases in the form of executable scripts, and finally executing the test cases on a simulator in order to stimulate the application under test and verify its response automatically. This paper illustrates all these phases with an example from a train controller development project and proceeds to show that the approach is especially useful for verifying systems that can run in a simulated environment.
  • Konferenzbeitrag
    Peer-to-Peer Comparison of Model-Based Test Tools
    (INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Budnik, Christof J.; Subramanyan, Rajesh; Vieira, Marlon
    The aim is to understand the differences between TDE/UML and peer tools available on the market to assess strength and weakness of TDE/UML. Evaluation comparison criteria are modeling, test case generation and extensibility of the model-based testing tools under consideration. The methodology can be adopted using tools other than TDE as a baseline for similar comparisons.