Detail publikace
Requirements Validation Through Scenario Generation and Comparison
Při navrhování systémů musíme řešit mnoho problémů spojených se správnou definicí a porozumění systémových požadavkům. Zjištění, že návrh nebo implementace obsahuje chybu nebo je neúplná, a zjištění, kde je třeba provést změny, jsou různé problémy, které vyžadují různé přístupy. Modely a diagramy, často diagramy z jazyka UML, se používají k zachycení požadavků systému a základního designu. Mezi základní modely patří doménový model, diagram případů použití, diagram aktivit a modely scénářů. Scénáře ukazují komunikaci a spolupráci objektů při řešení případu užití za konkrétních podmínek. Pokud je systém implementován podle návrhu, je možné generovat scénáře za běhu (buď skutečné implementace, nebo pomocí simulačních modelů). Můžeme tedy předpokládat scénáře chování vyšetřovaného případu užití a skutečné scénáře odrážející provedený návrh. V mnoha případech není užitečné mít detailní pohled na celou komunikaci mezi objekty. Stačí se však zaměřit na konkrétní části, jako jsou zprávy nebo stavy objektů. V tomto článku se zaměříme na detekci nesrovnalostí mezi očekávaným a skutečným chováním a rychlou identifikaci místa problému pomocí scénářů.
@INPROCEEDINGS{FITPUB12323, author = "Radek Ko\v{c}\'{i}", title = "Requirements Validation Through Scenario Generation and Comparison", pages = "129--134", booktitle = "The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020", year = 2020, location = "Porto, PT", publisher = "Xpert Publishing Services", ISBN = "978-1-61208-827-3", language = "english", url = "https://www.fit.vut.cz/research/publication/12323" }