{"title":"并行程序中的早期错误检测","authors":"A.N. Karpov, E. A. Ryzhkov","doi":"10.1109/CEE-SECR.2009.5501180","DOIUrl":null,"url":null,"abstract":"The goal of this paper is to tell about the methodology and tools for errors detection in parallel programs at the code writing stage. Applying static code analysis methodology allows developers to significantly reduce the error correction costs at the testing and support stages. The error diagnostics in multithread applications will be demonstrated with the examples of PC-Lint, VivaMP, and Intel C++ “Parallel Lint” analyzers. The paper will be useful for developers who create parallel Windows applications in C/C++ languages.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Early errors detection in parallel programs\",\"authors\":\"A.N. Karpov, E. A. Ryzhkov\",\"doi\":\"10.1109/CEE-SECR.2009.5501180\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The goal of this paper is to tell about the methodology and tools for errors detection in parallel programs at the code writing stage. Applying static code analysis methodology allows developers to significantly reduce the error correction costs at the testing and support stages. The error diagnostics in multithread applications will be demonstrated with the examples of PC-Lint, VivaMP, and Intel C++ “Parallel Lint” analyzers. The paper will be useful for developers who create parallel Windows applications in C/C++ languages.\",\"PeriodicalId\":402768,\"journal\":{\"name\":\"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CEE-SECR.2009.5501180\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CEE-SECR.2009.5501180","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The goal of this paper is to tell about the methodology and tools for errors detection in parallel programs at the code writing stage. Applying static code analysis methodology allows developers to significantly reduce the error correction costs at the testing and support stages. The error diagnostics in multithread applications will be demonstrated with the examples of PC-Lint, VivaMP, and Intel C++ “Parallel Lint” analyzers. The paper will be useful for developers who create parallel Windows applications in C/C++ languages.