Concurrent Software Testing Method Based on CSP and PAT

Abstract

The complexity and nondeterminism of software posed immense challenges for the testing of High Confidence Software, and software failures often caused system failures. This paper establishes a concurrent model for the system under test based on the Communicating Sequential Process (CSP) and completes the test by interacting of the model checking tool Process Analysis Toolkit (PAT) and C# code. This method can cover more system execution paths than the traditional software test methods. In this paper, for optimizing the defect that PAT can only use single-thread to simulate the multi-process, a middle layer is designed to dispatch and distribute the event of PAT abstract processes to execute in the actual .NET managed threads, the concurrency granularity is refined from the function level to statement level, which builds a real multi-thread testing environment that can detect software concurrent errors.