A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

2015 ◽  
Author(s):  
Weikai Miao ◽  
Xi Wang ◽  
Shaoying Liu
Keyword(s):  
Requirements Formalization

scholarly journals THE ROLE OF REQUIREMENTS FORMALIZATION IN SOFTWARE TESTING

2020 ◽  
Author(s):  
З.А. Бахвалова ◽  
Е.А. Камышова
Keyword(s):  
Software Testing ◽  
Requirements Formalization

В статье рассмотрена роль формализации требований в тестировании программного обеспечения (ПО). Исследованы понятия «требование к ПО» и «тестирование ПО», сделан вывод об их тесной взаимосвязи. На основе выполненного анализа влияния некачественных требований на процесс тестирования сделан вывод о важности высокого качества требований для процесса разработки ПО. Предложено формализовать требования для повышения их качества. Рассмотрены несколько методов формализации требований, по каждому из которых сделан вывод о влиянии подобной формализации на ручное и автоматизированное тестирование. Выявлено, что рассмотренные методы предлагают формализацию поведения системы, но с точки зрения упрощения автоматизации тестирования (а именно подготовки наборов данных для тестов) формальная модель должна описывать структуру данных. Подобная модель может быть организована в виде иерархии.

Sign in / Sign up

Export Citation Format

Share Document