-
Notifications
You must be signed in to change notification settings - Fork 397
Expand file tree
/
Copy pathTestStatementReducer.java
More file actions
82 lines (66 loc) · 3.02 KB
/
TestStatementReducer.java
File metadata and controls
82 lines (66 loc) · 3.02 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
package sqlancer.reducer;
import org.junit.jupiter.api.Test;
import sqlancer.Main;
import sqlancer.common.query.Query;
import java.util.ArrayList;
import java.util.List;
import java.util.regex.Pattern;
import static org.junit.jupiter.api.Assertions.assertEquals;
public class TestStatementReducer {
@Test
void testSimple() throws Exception {
TestEnvironment env = TestEnvironment.getStatementReducerEnv();
String[] queriesStr = { "CREATE TABLE FAKE_TABLE;", "SELECT * FROM FAKE_TABLE;", "EXIT", };
env.setInitialStatementsFromStrings(List.of(queriesStr));
env.setBugInducingCondition(statements -> {
String queriesString = TestEnvironment.getQueriesString(statements);
return queriesString.contains("SELECT");
});
env.runReduce();
List<Query<?>> reducedResult = env.getReducedStatements();
assertEquals(1, reducedResult.size());
assertEquals("SELECT * FROM FAKE_TABLE;", reducedResult.get(0).toString());
}
@Test
void testDeltaDebugging() throws Exception {
TestEnvironment env = TestEnvironment.getStatementReducerEnv();
List<String> fakeStatements = new ArrayList<>();
for (int i = 0; i < 10000; i++) {
String statement = "Statement_" + i + ";";
fakeStatements.add(statement);
}
env.setInitialStatementsFromStrings(fakeStatements);
env.setBugInducingCondition(statements -> {
String queries = TestEnvironment.getQueriesString(statements);
return queries.contains("Statement_29;");
});
env.runReduce();
List<Query<?>> reducedQueries = env.getReducedStatements();
String queriesString = TestEnvironment.getQueriesString(reducedQueries);
assertEquals(queriesString, "Statement_29;");
}
@Test
void testDeltaDebuggingWithStatementsCombination() throws Exception {
TestEnvironment env = TestEnvironment.getStatementReducerEnv();
List<String> fakeStatements = new ArrayList<>();
String pattern = "(.*\\n)*(Statement_2;)\\n(.*\\n)*(Statement_318);\\n(.*\\n)*(Statement_990;)(.*\\n)*.*";
for (int i = 0; i < 1000; i++) {
String statement = "Statement_" + i + ";";
fakeStatements.add(statement);
}
env.setInitialStatementsFromStrings(fakeStatements);
env.setBugInducingCondition(queryList -> {
String queries = TestEnvironment.getQueriesString(queryList);
return Pattern.matches(pattern, queries);
});
env.runReduce();
List<Query<?>> reducedQueries = env.getReducedStatements();
String queriesString = TestEnvironment.getQueriesString(reducedQueries);
assertEquals(queriesString, "Statement_2;\nStatement_318;\nStatement_990;");
}
@Test
void testSQLite3WithStatementReducer() {
Main.executeMain(new String[] { "--random-seed", "0", "--use-reducer", "--timeout-seconds", "60",
"--num-threads", "4", "sqlite3", "--oracle", "NoREC" });
}
}