Basándose en dos aspectos progresivos de los problemas de modelado en la gestión de procesos empresariales (BPM), (1) para abordar la creciente complejidad de los requisitos de los usuarios en los flujos de trabajo subyacentes a varios escenarios de aplicación de BPM, se debe inventar un método de modelado fundamental más verificable; (2) para abordar la diversificación de los procesos de prueba de software, también se debe aplicar una tecnología de modelado avanzada más formalizada basada en el método de modelado fundamental. Con el objetivo de abordar estos problemas de modelado, este documento propone primero un método ADCV (adquisición, descomposición, combinación y verificación) que atraviesa los enlaces de gestión central de cuatro tipos de procesos empresariales (extracción, descomposición, recombinación y verificación) y luego describe la estructura compositiva del método ADCV y el diseño de algoritmos correspondientes. Luego, el flujo de trabajo de prueba de software se gestiona y monitorea utilizando el método, y se implementa la herramienta de análisis correspondiente basada en redes de Petri. Al mismo tiempo, la herramienta se aplica al procesamiento de casos del flujo de trabajo de prueba de software. Específicamente, los modelos de flujo de trabajo se establecen sucesivamente a través de ADCV durante el proceso de iteración empresarial. Luego, la herramienta de análisis desarrollada con el método ADCV, el patrón de diseño modelo-vista-controlador (MVC) y la tecnología Java Swing se aplican a instancias del flujo de trabajo de prueba de software para realizar el modelado y la gestión de los procesos de prueba. Así, la herramienta de análisis puede garantizar la precisión de las estimaciones de parámetros de los modelos de crecimiento de fiabilidad de software (SRGMs) relacionados y, en última instancia, mejorar la calidad de los productos de software.