Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия требований для функционального тестирования. Использование метода упрощает поддержание в непротиворечивом состоянии конфигурации данных жизненного цикла проекта, включающей в себя требования, программный код и сгенерированные тесты. Вводится классификация дефектов программного обеспечения. Предлагается подход к формализации анализа требований и реализации тестируемой системы, основанный на представлении разбиения на классы эквивалентности в виде системы логических уравнений. Предложен приблизительный метод решения получаемых уравнений. Обсуждается применимость подхода в реальных процессах промышленных проектов.
This article discusses a problem of test data preparation for functional testing with a dened level of test coverage. Application of the method simplies the management of software project conguration, keeping requirements, code and tests in a consistent state. Classication of software deects is presented in the article. An approach the formalizing the target system code and requirements analysis is proposed. This method is based on the representation of equivalence class partitioning as logical equations. An original method to get equations solutions is also provided. Method applicability in real industrial projects is discussed.
The authors declare that there are no conflicts of interest present.