Comet SQL Tests

CometSqlFileTestSuite is a test suite that automatically discovers .sql test files and runs each query through both Spark and Comet, comparing results. This provides a lightweight way to add expression and operator test coverage without writing Comet Scala Tests.

Running the tests

Run all Comet SQL Tests:

./mvnw test -Dsuites="org.apache.comet.CometSqlFileTestSuite" -Dtest=none

Run a single test file by adding the file name (without .sql extension) after the suite name:

./mvnw test -Dsuites="org.apache.comet.CometSqlFileTestSuite create_named_struct" -Dtest=none

This uses ScalaTest's substring matching, so the argument must match part of the test name. Test names follow the pattern sql-file: expressions/<category>/<file>.sql [<config>].

Test file location

SQL test files live under:

spark/src/test/resources/sql-tests/expressions/

Files are organized into category subdirectories:

expressions/
  aggregate/     -- avg, sum, count, min_max, ...
  array/         -- array_contains, array_append, get_array_item, ...
  bitwise/
  cast/
  conditional/   -- case_when, coalesce, if_expr, ...
  datetime/      -- date_add, date_diff, unix_timestamp, ...
  decimal/
  hash/
  map/           -- get_map_value, map_keys, map_values, ...
  math/          -- abs, ceil, floor, round, sqrt, ...
  misc/          -- width_bucket, scalar_subquery, ...
  string/        -- concat, like, substring, lower, upper, ...
  struct/        -- create_named_struct, get_struct_field, ...

The test suite recursively discovers all .sql files in these directories. Each file becomes one or more ScalaTest test cases.

File format

A test file consists of SQL comments, directives, statements, and queries separated by blank lines. Here is a minimal example:

statement
CREATE TABLE test_abs(v double) USING parquet

statement
INSERT INTO test_abs VALUES (1.5), (-2.5), (0.0), (NULL)

query
SELECT abs(v) FROM test_abs

Directives

Directives are SQL comments at the top of the file that configure how the test runs.

Config

Sets a Spark SQL config for all queries in the file.

-- Config: spark.sql.ansi.enabled=true

ConfigMatrix

Runs the entire file once per combination of values. Multiple ConfigMatrix lines produce a cross product of all combinations.

-- ConfigMatrix: spark.sql.optimizer.inSetConversionThreshold=100,0

This generates two test cases:

sql-file: expressions/conditional/in_set.sql [spark.sql.optimizer.inSetConversionThreshold=100]
sql-file: expressions/conditional/in_set.sql [spark.sql.optimizer.inSetConversionThreshold=0]

Only add a ConfigMatrix directive when there is a real reason to run the test under multiple configurations. Do not add ConfigMatrix directives speculatively.

MinSparkVersion

Skips the file when running on a Spark version older than the specified version.

-- MinSparkVersion: 3.5

MaxSparkVersion

Skips the file when running on a Spark version newer than the specified version (inclusive of that version). Use it together with MinSparkVersion in a paired fixture when a behavior changed between versions and each range needs its own expected output or error class.

-- MaxSparkVersion: 3.5

Statements

A statement block executes DDL or DML and does not check results. Use this for CREATE TABLE and INSERT commands. Table names are automatically extracted for cleanup after the test.

statement
CREATE TABLE my_table(x int, y double) USING parquet

statement
INSERT INTO my_table VALUES (1, 2.0), (3, 4.0), (NULL, NULL)

Queries

A query block executes a SELECT and compares results between Spark and Comet. The query mode controls how results are validated.

query (default mode)

Checks that the query runs natively on Comet (not falling back to Spark) and that results match Spark exactly.

query
SELECT abs(v) FROM test_abs

query spark_answer_only

Only checks that Comet results match Spark. Does not assert that the query runs natively. Use this for expressions that Comet may not fully support yet but should still produce correct results.

query spark_answer_only
SELECT some_expression(v) FROM test_table

query tolerance=<value>

Checks results with a numeric tolerance. Useful for floating-point functions where small differences are acceptable.

The comparison ignores the sign of zero (+0.0 matches -0.0) and the sign of infinity (+Infinity matches -Infinity). Keep tolerance for ordinary values and add a plain query for cases whose expected result is signed zero or signed infinity.

query tolerance=0.0001
SELECT cos(v) FROM test_trig

-- csc(-0.0) == -Infinity; a tolerance check would also accept +Infinity
query
SELECT csc(double('-0.0'))

query expect_fallback(<reason>)

Asserts that the query falls back to Spark and verifies the fallback reason contains the given string.

query expect_fallback(unsupported expression)
SELECT unsupported_func(v) FROM test_table

query expect_dispatch(<names>) / query expect_native(<names>)

Checks results and coverage like a plain query, and additionally asserts how Comet evaluated the named expressions.

Comet runs an expression either natively (a DataFusion expression) or through the JVM codegen dispatcher (Spark's own doGenCode compiled into an Arrow batch kernel). Both produce Spark-matching results, so a plain query cannot tell them apart. Use these modes on fixtures where the mechanism is the point of the test, typically an expression whose support depends on its argument type.

-- BinaryType has no native path and must route through the dispatcher
query expect_dispatch(bit_length)
SELECT bit_length(b) FROM test_bit_length_binary

-- StringType must stay on the native path
query expect_native(bit_length)
SELECT bit_length(s) FROM test_bit_length

Names are comma-separated. A name is the expression's prettyName lowercased (bit_length, octet_length, rlike), which is not always the SQL alias used to invoke it. Naming an expression asserts both that it ran through the expected mechanism and that it did not run through the other one.

A query carries one mode, so a query mixing a native and a dispatched expression has to be split into two queries, one per mode.

query ignore(<reason>)

Skips the query entirely. Use this for queries that hit known bugs. The reason should be a link to the tracking GitHub issue.

-- Comet bug: space(-1) causes native crash
query ignore(https://github.com/apache/datafusion-comet/issues/3326)
SELECT space(n) FROM test_space WHERE n < 0

query expect_error(<pattern>)

Asserts that both Spark and Comet throw an exception containing the given pattern. Use this for ANSI mode tests where invalid operations should throw errors.

-- Config: spark.sql.ansi.enabled=true

-- integer overflow should throw in ANSI mode
query expect_error(ARITHMETIC_OVERFLOW)
SELECT 2147483647 + 1

-- division by zero should throw in ANSI mode
query expect_error(DIVIDE_BY_ZERO)
SELECT 1 / 0

-- array out of bounds should throw in ANSI mode
query expect_error(INVALID_ARRAY_INDEX)
SELECT array(1, 2, 3)[10]

Adding a new test

  1. Create a .sql file under the appropriate subdirectory in spark/src/test/resources/sql-tests/expressions/. Create a new subdirectory if no existing category fits.

  2. Add the Apache license header as a SQL comment.

  3. Add a ConfigMatrix directive only if the test needs to run under multiple configurations (e.g., testing behavior that varies with a specific Spark config). Do not add ConfigMatrix directives speculatively.

  4. Create tables and insert test data using statement blocks. Include edge cases such as NULL, boundary values, and negative numbers.

  5. Add query blocks for each expression or behavior to test. Use the default query mode when you expect Comet to run the expression natively. Use query spark_answer_only when native execution is not yet expected.

    If the expression's serde routes some input types to a native DataFusion expression and others through the JVM codegen dispatcher, use expect_native(...) and expect_dispatch(...) for those queries. A plain query cannot tell the two mechanisms apart, so the split is otherwise untested.

  6. Run the tests to verify:

    ./mvnw test -Dsuites="org.apache.comet.CometSqlFileTestSuite" -Dtest=none
    

Tips for writing thorough tests

Pin the mechanism where the serde chooses one

Reach for expect_native(...) / expect_dispatch(...) whenever the fixture's own comments explain which path an input takes. That comment is a claim about behavior, and these modes are what turn it into a test. Expressions worth annotating are the ones whose support level depends on argument type or on a config: round (float and double dispatch, decimal and integral stay native), lower / upper (dispatch by default), and anything mixing in CodegenDispatchFallback.

A query carries a single mode, so a query that mixes both mechanisms has to be split. That split is usually worth doing on its own: it forces you to say which argument takes which path.

Cover all combinations of literal and column arguments

Comet often uses different code paths for literal values versus column references. Tests should exercise both. For a function with multiple arguments, test every useful combination.

For a single-argument function, test both a column reference and a literal:

-- column argument (reads from Parquet, goes through columnar evaluation)
query
SELECT ascii(s) FROM test_ascii

-- literal arguments
query
SELECT ascii('A'), ascii(''), ascii(NULL)

For a multi-argument function like concat_ws(sep, str1, str2, ...), test with the separator as a column versus a literal, and similarly for the other arguments:

-- all columns
query
SELECT concat_ws(sep, a, b) FROM test_table

-- literal separator, column values
query
SELECT concat_ws(',', a, b) FROM test_table

-- all literals
query
SELECT concat_ws(',', 'hello', 'world')

Note on constant folding: Normally Spark constant-folds all-literal expressions during planning, so Comet would never see them. However, CometSqlFileTestSuite automatically disables constant folding (by excluding ConstantFolding from the optimizer rules), so all-literal queries are evaluated by Comet's native engine. This means you can use the default query mode for all-literal cases and they will be tested natively just like column-based queries.

Cover edge cases

Include edge-case values in your test data. The exact cases depend on the function, but common ones include:

  • NULL values -- every test should include NULLs
  • Empty strings -- for string functions
  • Zero, negative, and very large numbers -- for numeric functions
  • Boundary values -- INT_MIN, INT_MAX, NaN, Infinity, -Infinity for numeric types
  • Signed zero -- Spark parses a bare -0.0 as decimal(1,1), which has no signed zero, so coercion to float/double yields +0.0. CAST(-0.0 AS DOUBLE) and CAST(-0.0 AS FLOAT) have the same problem because the cast source is still the decimal literal. Use double('-0.0') or float('-0.0') (equivalently CAST('-0.0' AS DOUBLE)). Spark's array comparator also treats +0.0 and -0.0 as equal, so sort_array(...) is not a unique projection when both signs are present (the SQL test comparator distinguishes the bits). Prefer a sign-aware form such as sort_array(transform(arr, x -> cast(x AS string))). A query tolerance=... check likewise treats the two zero signs as equal, and +Infinity / -Infinity as equal, so signed-zero and signed-infinity results need a separate plain query.
  • Special characters and multibyte UTF-8 -- for string functions (e.g. 'é', '中文', '\t')
  • Empty arrays/maps -- for collection functions
  • Single-element and multi-element collections -- for aggregate and collection functions

One file per expression

Keep each .sql file focused on a single expression or a small group of closely related expressions. This makes failures easy to locate and keeps files readable.

Use comments to label sections

Add SQL comments before query blocks to describe what aspect of the expression is being tested. This helps reviewers and future maintainers understand the intent:

-- literal separator with NULL values
query
SELECT concat_ws(',', NULL, 'b', 'c')

-- empty separator
query
SELECT concat_ws('', a, b, c) FROM test_table

Using agentic coding tools

Writing thorough SQL test files is a task well suited to agentic coding tools such as Claude Code. You can point the tool at an existing test file as an example, describe the expression you want to test, and ask it to generate a complete .sql file covering all argument combinations and edge cases. This is significantly faster than writing the combinatorial test cases by hand and helps ensure nothing is missed.

For example:

Read the test file spark/src/test/resources/sql-tests/expressions/string/ascii.sql
and the documentation in docs/source/contributor-guide/sql-file-tests.md.
Then write a similar test file for the `reverse` function, covering column arguments,
literal arguments, NULLs, empty strings, and multibyte characters.

Handling test failures

When a query fails due to a known Comet bug:

  1. File a GitHub issue describing the problem.
  2. Change the query mode to ignore(...) with a link to the issue.
  3. Optionally add a SQL comment above the query explaining the problem.
-- GetArrayItem returns incorrect results with dynamic index
query ignore(https://github.com/apache/datafusion-comet/issues/3332)
SELECT arr[idx] FROM test_get_array_item

When the bug is fixed, remove the ignore(...) and restore the original query mode.

Architecture

The test infrastructure consists of two Scala files:

  • SqlFileTestParser (spark/src/test/scala/org/apache/comet/SqlFileTestParser.scala) -- Parses .sql files into a SqlTestFile data structure containing directives, statements, and queries.

  • CometSqlFileTestSuite (spark/src/test/scala/org/apache/comet/CometSqlFileTestSuite.scala) -- Discovers test files at suite initialization time, generates ScalaTest test cases for each file and config combination, and executes them using CometTestBase assertion methods.

Tables created in test files are automatically cleaned up after each test.