Repository logo

Browsing by Subject "use case"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Acceptance testing of web applications with Test Description Language
    (Wydawnictwa AGH, 2014) Olek, Łukasz; Alchimowicz, Bartosz; Nawrocki, Jerzy Ryszard
    Acceptance tests are usually created by a client after a part of a system is implemented. However, some methodologies propose the elaboration of test cases before implementing a system. This approach increases the probability of system implementation that fulfills requirements, but may be problematic for customers and testers. To allow acceptance testing in such conditions, we propose to define test cases by recording them on an interactive mockup (a low detailed user-interface prototype). The paper focuses on Test Description Language, a notation used to store test cases.
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Formal analysis of use case diagrams
    (Wydawnictwa AGH, 2010) Klimek, Radosław; Szwed, Piotr
    Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.