A systematic testing method of procedures is disclosed. The testing is
carried out for parallel procedures separately from consecutive procedures
which have no parallelism. Behavior of a group of parallel procedures to
be tested in a parallel mode is specified. Based on the behavior, the
group of procedures is tested using models of correct parallel behavior.
Un método de prueba sistemático de procedimientos se divulga. La prueba se realiza para los procedimientos paralelos por separado de los procedimientos consecutivos que no tienen ningún paralelismo. El comportamiento de un grupo de procedimientos paralelos que se probarán en un modo paralelo se especifica. De acuerdo con el comportamiento, el grupo de procedimientos se prueba usando modelos del comportamiento paralelo correcto.
