Page tree
Skip to end of metadata
Go to start of metadata

Currently, Lin-Check tests are generated as a random set of operations chosen from a user-defined set. If an operation has some parameter then by default its value is chosen randomly from a specified range. For many structures, like a hash-table, a set or alike, random choice of key-parameters is not optimal to generate "interesting" scenarios. Now it's handled with narrowing the parameter value range to increase the probability of repeated values appearing.  It seems that structure behavior analysis could automatically detect operations that will affect each other to produce concurrent test scenarios that more sensitive for interleaving. 



Related works:

  • No labels