Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі
DOI:
https://doi.org/10.15587/1729-4061.2013.8926Ключові слова:
динамічна верифікація, дерево розбору, мережа Петрі, стохастичні елементи.Анотація
Стаття містить опис методів статичної та динамічної верифікації послідовно-паралельного програмного коду на моделі у вигляді управляючої мережі Петрі зі стохастичними елементами, яка будується за деревом розбору. Стаття містить приклад практичної реалізації розглянутих методів.Посилання
- Карпов, Ю.Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем [Текст] / Ю.Г. Карпов. – СПб.: БХВ-Петербург, 2010. – 560 с.
- Синицын, С.В. Верификация программного обеспечения (ISBN: 978-5-94774-825-3) [Электронный документ] / С.В. Синицын, Н.Ю. Налютин. Режим доступа: http://www.intuit.ru/department/se/verify/. Проверено 20.12.12.
- Data-flow analysis. Available at: http://en.wikipedia.org/wiki/Data-flow_analysis. (accessed 15 January 2013).
- Верификация кода и обнаружение ошибок исполнения путем абстрактной интерпретации. [Электронный документ]. Режим доступа: http://sl-matlab.ru/news/detail.php?ID=723. Проверено 17.12.2012.
- Steve Cornett. Code Coverage Analysis. Available at: http://www.bullseye.com/coverage.html (accessed 7 December 2012).
- Frank Tip. A survey of program slicing techniques. Journal of Programming Languages, Volume 3, Issue 3, pages 121–189, September 1995.
- Programming With Assertions. Available at: http://docs.oracle.com/javase/ 1.4.2/docs/guide/lang/assert.html (accessed 9 December 2012).
- Rob Smith. J2SE 1.4 Assertion Facility. Available at: http://jnb.ociweb.com/jnb/jnbApr2002.html (accessed 9 December 2012).
- Кузьмук, В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография [Текст] / В.В. Кузьмук О.О. Супруненко. – К.: Маклаут, 2010. – 252 с.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2014 Богдан Анатолійович Гнесюк, Оксана Олександрівна Супруненко
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.
Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.