Automated testing for large-scale critical software systems

Software systems are important components for the deployment and operation of large-scale critical systems, such as nuclear plants and aerospace shuttles. The very high reliability is critically required. Due to the very large scale and computational complexity, however, there are some inherent challenges for conducting extensive testing. In this paper, we define such challenges in the testing scope of large-scale critical software. The paper presents the testing workflows and coverage, the mechanism of random testing, followed by the automated testing framework. We then present the implementing details of the automated testing platform ATLAS.