Основы дискретной динамики программных систем

Abstract

Рассмотрено построение дискретных динамических моделей выявления дефектов в программных системах . На основе теории ди - намики программных систем выполнена дискретизация по времени и количеству дефектов . При по - строении принято допущение о том , что при исправлении выявленного дефекта новые дефекты не вно - сятся . Это допущение свойственно большинству известных моделей надежности программного обеспе - чения . Получены математические выражения для расчета количества выявленных программных дефек - тов и выполнена их верификация . Показано совпадение результатов расчетов по дискретной и непрерыв - ной моделям .

Розглянуто побудову дискрет - них динамічних моделей виявлення дефектів в програмних системах . На основі теорії динаміки програм - них систем виконано дискретизацію за часом і кількістю дефектів . При побудові прийнято припущення , за яким при виправленні виявленого дефекту нові дефекти не вносяться . Це припущення притаманне більшості відомих моделей надійності програмного забезпечення . Отримано математичні вирази для ро - зрахунку кількості виявлених програмних дефектів і виконано їх верифікацію . Показано збіг результатів розрахунків по дискретній і безперервній моделях .

The construction of discrete dynamic models for detection of defects in the software systems is considered. On the basis of theory of the dynamics of software systems, discretization is performed on time and on the amount of defects. In the course of the con- struction an assumption peculiar to th e majority of well-known models of software reliability is accepted — in correcting of the revealed defect new defects are not brought in. Mathematical expressions for calculating the amount of the revealed software defects are obtained, and their verification is performed. The coincidence of calculation results on discrete and continuous models is shown.