今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統(tǒng)工程有限公司 孫王強
摘要：多線程并行運行的軟件在提高性能的同時，其交互的組合隨著程序規(guī)模增大變得更為復雜，給軟件的設計與驗證帶來了挑戰(zhàn)。本文從常見的并行缺陷入手，提出使用模型檢測的方法對其進行檢測和分析，實踐表明，使用該方法可有效檢測此類并行缺陷。
關鍵詞：并發(fā)缺陷；多線程軟件；模型檢測
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
摘自《自動化博覽》2021年4月刊
北京市公安局海淀分局備案號：11010802023656號