Patterns in Testing Concurrent Programs with Non-deterministic Behaviors
S Tasharofi, R Johnson - 2011 - ideals.illinois.edu
S Tasharofi, R Johnson
2011•ideals.illinois.eduConcurrent programs are hard to test because of the non-determinism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We
studied the test suites of four open source concurrent libraries and discovered that the tests
fall into three dif-ferent patterns. One of the patterns avoids testing non-determinism while
the other two control the schedule of the program execution to manage that.
non-determinism is one of the major sources of bugs, it is important to to be tested. We
studied the test suites of four open source concurrent libraries and discovered that the tests
fall into three dif-ferent patterns. One of the patterns avoids testing non-determinism while
the other two control the schedule of the program execution to manage that.
Abstract
Concurrent programs are hard to test because of the non-determinism inherit in them. Since non-determinism is one of the major sources of bugs, it is important to to be tested. We studied the test suites of four open source concurrent libraries and discovered that the tests fall into three dif-ferent patterns. One of the patterns avoids testing non-determinism while the other two control the schedule of the program execution to manage that.
ideals.illinois.edu
以上显示的是最相近的搜索结果。 查看全部搜索结果