A method for race detection in parallel software, including performing an
execution of software under test (SUT), the SUT having an expected
outcome. The method further includes detecting a race condition in the SUT
responsive to a first interleaving generated during the execution,
replaying the first interleaving to a start-point of the race condition,
and imposing a second interleaving at the start-point of the race
condition. The method also includes determining a second-execution outcome
of the SUT responsive to the second interleaving, and comparing the
expected outcome with the second-execution outcome.
Une méthode pour la détection de course dans le logiciel parallèle, y compris effectuer une exécution de logiciel à l'essai (SUT), le SUT ayant des résultats prévus. La méthode autre inclut détecter un état de course dans le SUT sensible à un premier interfoliage produit pendant l'exécution, rejouant le premier interfoliage à un commencer-point de l'état de course, et imposant un deuxième interfoliage au commencer-point de l'état de course. La méthode inclut également déterminer des résultats d'deuxième-exécution du SUT sensible au deuxième interfoliage, et comparer les résultats prévus aux résultats d'deuxième-exécution.
