Design And Implementation Of Software Testing Workflow Analysis Tool Based On ADCV Method

Aiming at the modeling problems in business process management,this paper proposes an ADCV method that runs through the core management links of four types of business processes:mining,decomposition,recombination and verification.The compositional structure of the method is described,and the corresponding algorithms are designed.The software testing workflow is managed and monitored by using the method,and the corresponding analysis tool is implemented based on Petri net.At the same time,the tool is applied to the case processing of software testing workflow.The specific work completed is as follows:(1)Based on the ADCV method,the workflow models are established successively in the way of Acquisition,Decomposition,Combination and Verification.First of all,anα~Salgorithm based on event status is extended on the basis of the classicalαalgorithm to mine process models from log data.Secondly,a process decomposition algorithm based on T-invariants is presented to realize the automatic decomposition of process models.Then,the weighted and timed Petri net is used to complete the modeling of process combination and process recombination,the traditional covering tree algorithm is improved to build the covering tree model,and the place difference verification algorithm is adopted to compare the place changes of the two models before and after the recombination.Finally,the reachability analysis algorithm is employed to verify the recombination model.(2)According to the ADCV method,the software testing workflow of RSA timing attack tasks is analyzed.Then,this paper uses the Stochastic Petri Net(SPN)to model and analyze the software testing workflow,and transforms the SPN model into an isomorphic Markov chain model to discover the bottleneck in the testing processes.(3)The analysis tool developed with ADCV method,MVC design pattern and Java Swing technology is applied to the instances of software testing workflow to realize the modeling and management of testing processes.Thus,it can guarantee the accuracy of parameter estimation of related Software Reliability Growth Models(SRGMs),and ultimately improve the quality of software products.