Модели абдуктивной логики при анализе надежности программного обеспечения
Аннотация
Предложенный подход дает возможность оценки надежности программных систем при недостаточной информации о надежности модулей и компонент, из которых состоит система.Литература
Hamlet D., Mason D., Woit D. Theory of Software Reliability Based on Components // International Conference on Software Engineering(ICSE), Toronto, Canada, 2001. P. 361–370.
Hamlet D. Random Testing and Subdomain Testing. Encyclopedia of Software Engineering, 2nd ed., book chapter, 2002. P. 132–158.
Valkovsky V. B., Savvin K. O., Gerasimov M. B. Abduction Problem in Probabilistic Constraint Logic Programming. Springer-Verlag, Ltd., London, 1999. P. 685–698.
Hamlet D. Continuity in Software Systems // Proceedings ISSTA 02, Rome, 2002. P. 196–200.
Hamlet D. Random Testing and Subdomain Testing. Encyclopedia of Software Engineering, 2nd ed., book chapter, 2002. P. 132–158.
Valkovsky V. B., Savvin K. O., Gerasimov M. B. Abduction Problem in Probabilistic Constraint Logic Programming. Springer-Verlag, Ltd., London, 1999. P. 685–698.
Hamlet D. Continuity in Software Systems // Proceedings ISSTA 02, Rome, 2002. P. 196–200.
Опубликован
2004-04-01
Как цитировать
Вальковский, & Мустафина,. (2004). Модели абдуктивной логики при анализе надежности программного обеспечения. Труды СПИИРАН, 1(2), 57-63. https://doi.org/10.15622/sp.2.4
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
