基于信号量同步的多线程程序缺陷检测

2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR) Pub Date : 2010-10-01 DOI:10.1109/CEE-SECR.2010.5783153

M. Moiseev

{"title":"基于信号量同步的多线程程序缺陷检测","authors":"M. Moiseev","doi":"10.1109/CEE-SECR.2010.5783153","DOIUrl":null,"url":null,"abstract":"The solution to the problem of automatic defects detection in multithreaded programs is covered in this paper. General approaches for defect detection are considered. Static analysis is chosen because of its full automation and soundness properties. Overview of papers about static analysis usage for defect detection in parallel programs is presented.","PeriodicalId":187644,"journal":{"name":"2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Defect detection for multithreaded programs with semaphore-based synchronization\",\"authors\":\"M. Moiseev\",\"doi\":\"10.1109/CEE-SECR.2010.5783153\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The solution to the problem of automatic defects detection in multithreaded programs is covered in this paper. General approaches for defect detection are considered. Static analysis is chosen because of its full automation and soundness properties. Overview of papers about static analysis usage for defect detection in parallel programs is presented.\",\"PeriodicalId\":187644,\"journal\":{\"name\":\"2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR)\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CEE-SECR.2010.5783153\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CEE-SECR.2010.5783153","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文讨论了多线程程序中缺陷自动检测问题的解决方法。考虑了缺陷检测的一般方法。选择静态分析是因为它具有完全自动化和可靠的特性。概述了静态分析在并行程序缺陷检测中的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Defect detection for multithreaded programs with semaphore-based synchronization

The solution to the problem of automatic defects detection in multithreaded programs is covered in this paper. General approaches for defect detection are considered. Static analysis is chosen because of its full automation and soundness properties. Overview of papers about static analysis usage for defect detection in parallel programs is presented.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR)

自引率

0.00%

发文量