In the beginning of the framework technology, it was used to solve or deal with the complex problems of the application system. The traditional software testing process has always been basically a manual execution of test cases, and the same common test cases are needed in the entire software life cycle. Repeatedly performed many times, especially in the verification testing phase such as regression testing. In the traditional testing process, there is a lack of effective test data generation methods, which results in the generated test cases failing to cover all system requirements. In this situation, the author proposes the test theory of reverse generation of use cases and implements the prototype tool of this automation technology framework. The framework reverses test case generation based on test tool recording scripts; it can also locally update objects; parameterizes test data management and filters data by data model to ensure full path coverage of test data; and objects and recordings. The objects that cannot be obtained in the process are attribute-modified; the graphical "one-click" test scenario design makes complex tests simple and clear.

Abstract. System reliability is a critical aspect of a system, which incurs the proposing of related modeling tools. Tools like Reliability Block Diagrams (RBD) and Fault Tree (FT) provide static representation of system reliability. RBD is a graphical representation that depicts a network of system components and connections. FT is a logical and diagrammatic method to evaluate an accident's probability that results from faults and failure events. The increasing complexity of systems drives the demands for analyzing system dynamic behaviors like dynamics, dependencies, redundancy and load sharing. Dynamic models like Dynamic Reliability Block Diagrams (DRBD) and Dynamic Fault Tree (DFT) are proposed. Dynamic tools define frameworks for modeling dynamic reliability behavior of systems. DRBD is an extending and enhancing of RBD by adding a state-events working mechanism, which permits to model dynamic reliability behaviors of the system. DFT is an extension of FT by adding the sequential notion which can meet time requirements. It is also important to verify these tools for locating and identifying deadlock and faulty states. The efficiency of verification techniques to model these modeling tools and the assessment of dynamic behaviors are taken as evaluation criteria. Based on current research, DRBD performs better than alternatives.