今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統工程有限公司 孫王強
摘要：多線(xiàn)程并行運行的軟件在提高性能的同時(shí)，其交互的組合隨著(zhù)程序規模增大變得更為復雜，給軟件的設計與驗證帶來(lái)了挑戰。本文從常見(jiàn)的并行缺陷入手，提出使用模型檢測的方法對其進(jìn)行檢測和分析，實(shí)踐表明，使用該方法可有效檢測此類(lèi)并行缺陷。
關(guān)鍵詞：并發(fā)缺陷；多線(xiàn)程軟件；模型檢測
Abstract: Multithreading parallel running software not only improves the performance, but also brings challenges to software design and verification, because the combination of its interaction becomes more complex with the increase of program size. In this paper, the common concurrent defects are analyzed and verified by using model checking method. The practice shows that this method can effectively this kind of concurrent defects.
Key words: Concurrent defects; Multithreading software; Model check
點(diǎn)擊預覽：
模型檢測技術(shù)在軟件并行缺陷檢測中的應用.pdf
摘自《自動(dòng)化博覽》2021年4月刊
北京市公安局海淀分局備案號：11010802023656號