Logo des Repositoriums

Auflistung nach Schlagwort "nondeterminism"

1 - 2 von 2
  • Konferenzbeitrag
    Improved underspecification for model-based testing in agile development
    (FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods, 2010) Faragó, David
    Since model-based testing (MBT) and agile development are two major approaches to increase the quality of software, this paper considers their combination. After motivating that strongly integrating both is the most fruitful, the demands on MBT for this integration are investigated: The model must be underspecifyable and iteratively refineable and test generation must efficiently handle this. The theoretical basis and an example for such models is given. Thereafter, a new method for MBT is introduced, which can handle this more efficiently, i.e., can better cope with nondeterminism and also has better guidance in the model traversal. Hence it can be used in agile development, select more revealing tests and achieve higher coverage and reproducibility.
  • Zeitschriftenartikel
    Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing
    (Softwaretechnik-Trends Band 31, Heft 1, 2011) Faragó, David
    Assessing the testing or software development process by only using KPIs can easily be misleading. A better solution is a paradigm shift to value-based software engineering, which integrates value considerations into software engineering and offers a broader and more technical view on KPIs. Coverage metrics are such a technical view and a very helpful KPI. This paper combines value-based testing and model-based testing of nondeterministic systems and introduces new coverage metrics for this. Therewith, the quality of test suites is raised and value-based testing gets strongly supported, e.g., by KPIs derived from nondeterministic coverage metrics and better requirements-based and risk-based testing.