Repository logo

Browsing by Subject "testy systemowe"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Application of model-based approach for testing dynamic systems
    (Wydawnictwa AGH, 2011) Skruch, Paweł
    The paper presents an application of model-based approach for testing software systems with dynamic behavior. Model-based testing concept is introduced and explained. Mathematical model of the system under test is described by state space equations. Then, mathematical and implementation challenges associated with testing of the dynamic systems are briefly described. These challenges are related to notation of tests, calculation of test coverage, implementation of a test comparator and automatic generation of test cases. Some author's ideas and solutions are presented. An application example is given to illustrate theoretical analysis and mathematical formulation.