Архив воспроизводимости статьи «Контрактное и мутационное тестирование программного комплекса численного обращения преобразования Лапласа для вероятностных моделей»

Архив воспроизводимости к научной статье «Контрактное и мутационное тестирование программного комплекса численного обращения преобразования Лапласа для вероятностных моделей». Архив предназначен для рецензентов и других пользователей, которым необходимо проверить численные результаты статьи. Он содержит рукопись, контрольный PDF, исходные численные данные, таблицы, результаты всех основных экспериментальных серий, графики, сценарии воспроизведения и описание вычислительной среды. В архив включены результаты сравнения методов численного обращения, эксперименты по параметрам n, N и M, дополнительные классы распределений Gamma3, HyperExp, Weibull07 и Lognormal, исследование абсолютных порогов, самосходимости, калибровки коэффициента κ, чувствительности машинного предела, тест производительности и материалы мутационного тестирования. Основные численные результаты могут быть воспроизведены из сохранённых данных и сценариев в зафиксированной вычислительной среде. Для мутационного тестирования сохранены каталог мутаций, сводные результаты и свидетели; полный исходный код всех 24 мутантов в текущую версию архива не включён. Архив подготовлен как долговременный воспроизводимый материал к статье. DOI архива должен быть указан в статье после публикации записи. DOI самой статьи в журнале «Программирование» на момент подготовки архива ещё не указан.