Research Of Software Testing Based On Petri Nets

Software testing is the important period in process of software developing and the guarantee of software quality and reliability. Automated software testing can reduce testing work and cost of software developing. Automated testing figure is the key of automated software testing and used popularly in testing structure and function, testing performance, embedded testing. The keyhole is how to design better testing figure to finish all testing effectively. Based on the theory and study from different sides, the paper indicates to use the way of QPSO calculating to cover the technique of automated figure of structure testing. The main task is including:1. It elaborates software testing technique, way of evolution algorithms way to path coverage automatic structure testing and its defects.2. Based on the way of evolution algorithms way to cover automatic structure testing, the paper proposes the way of automatic structure testing by QPSO method, and also operating status by dynamic Petri Nets mode. It improves the popularity by space and covering to build different types of adaptive value function by building different types of tested procedure. It provides the feasibility by exact testing result and advantages compare to evolution algorithms way.3. The paper proposes multi-path of covering structure figure testing based on QPSO, analyses different conducting ways between single path and multi-path way of covering structure automatically, based on the full path covering structure testing, basic path covering structure testing and Z path covering structure. According to 2 ways of tested procedures for testing and verifying the superiority of multi-path covering structure testing figure compare to single-path covering, and using test data generated for testing to verify the validity of test data.