今日头条
官方微信
官方抖音
案例频道北京广利核系统工程有限公司 孙王强
摘要：多线程并行运行的软件在提高性能的同时，其交互的组合随着程序规模增大变得更为复杂，给软件的设计与验证带来了挑战。本文从常见的并行缺陷入手，提出使用模型检测的方法对其进行检测和分析，实践表明，使用该方法可有效检测此类并行缺陷。
关键词：并发缺陷；多线程软件；模型检测
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号