Design Of Resource Conflicts Detection System For Software

The problem of shared resource conflict is often happened and is hard to be discovered, which can lead to serious consequences. However,the detection of shared resources coflict mainly rely on manual code review,it’s inefficient,time-consuming, and rely on testers’ experience in testing. Therefore, the study of the automatic detection tool of shared resources conflict is very necessary.We proposed a program of detecting shared resources coflict for the used commonly embedded systems,80C51 and Vx Works, based on the analysis of the situations of shared resources conflict. We use the C# to program, contruct winform interface to interact with users, and use the SQL Server database to access the intermediate data. We achieved the automatic detection system, and did the related verification.The design of the system used a method of static analysis that based on defect.Detecting the code automatically in the early of the soft development by lexical analysis, syntax analysis, semantic analysis, and software concurrency analysis. And determining whether there is a shared resource conflict. Avoiding the resource conflicts waste time and money even more serious consequences.