test cases for QPG (#670)

bajinsheng · web-flow · commit 4d42dad02d0b · 2022-12-19T20:21:18.000+08:00
* testcase for QPG in SQLite

* workflows: QPG Tests (SQLite)
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -272,6 +272,23 @@ jobs:
           mvn -Dtest=TestSQLitePQS test
           mvn -Dtest=TestSQLite3 test
 
+  sqlite-qpg:
+    name: QPG Tests (SQLite)
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+      - name: Set up JDK 11
+        uses: actions/setup-java@v1
+        with:
+          java-version: 11
+      - name: Build
+        run: mvn -B package -DskipTests=true
+      - name: SQLite Tests for QPG
+        run:  |
+          mvn -Dtest=TestSQLiteQPG test
 
   tidb:
     name: DBMS Tests (TiDB)
diff --git a/test/sqlancer/dbms/TestSQLiteQPG.java b/test/sqlancer/dbms/TestSQLiteQPG.java
@@ -0,0 +1,20 @@
+package sqlancer.dbms;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+
+import org.junit.jupiter.api.Test;
+
+import sqlancer.Main;
+
+public class TestSQLiteQPG {
+
+    @Test
+    public void testSqliteQPG() {
+        assertEquals(0, Main.executeMain(new String[] { "--random-seed", "0", "--timeout-seconds", TestConfig.SECONDS,
+                "--num-threads", "1", "--num-queries", "1000", "--random-string-generation", "ALPHANUMERIC_SPECIALCHAR",
+                "--database-prefix", "pqsdb" /* Workaround for connections not being closed */, "--qpg-enable", "true",
+                "sqlite3", "--oracle", "NoREC", "--test-fts", "false", "--test-rtree", "false",
+                "--test-check-constraints", "false", "--test-in-operator", "false" }));
+    }
+
+}
