Model $lookup in fast-check and create correctness PBT

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Query Execution
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      For more robust randomized testing, we should model $lookup in fast-check. We can support the toField/fromField syntax and subpipeline syntax. The subpipeline syntax can reuse our existing agg query models. $lookup should not included in the default stages we randomly test, since it could negatively affect our current coverage. Instead we should create a new PBT jstest for $lookup specifically.

      This ticket does not have to worry about:

      • Testing different collection types and topologies for the local/foreign collection. This will be done in SERVER-103787.
      • Making the $lookup model recursive. We can start with a simpler model where there $lookup subpipelines cannot contain another $lookup. Expanding this can be done in SERVER-113241

            Assignee:
            Unassigned
            Reporter:
            Matt Boros
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: