[Jsonpath] Testing the non-deterministic behaviour of JSONPath

Glyn Normington <glyn.normington.work@gmail.com> Tue, 12 March 2024 18:00 UTC

Return-Path: <glyn.normington.work@gmail.com>
X-Original-To: jsonpath@ietfa.amsl.com
Delivered-To: jsonpath@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6288BC14F696 for <jsonpath@ietfa.amsl.com>; Tue, 12 Mar 2024 11:00:25 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.105
X-Spam-Level:
X-Spam-Status: No, score=-7.105 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id MV6MJkSDjPqG for <jsonpath@ietfa.amsl.com>; Tue, 12 Mar 2024 11:00:21 -0700 (PDT)
Received: from mail-pg1-x52d.google.com (mail-pg1-x52d.google.com [IPv6:2607:f8b0:4864:20::52d]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8AB59C14F616 for <jsonpath@ietf.org>; Tue, 12 Mar 2024 11:00:21 -0700 (PDT)
Received: by mail-pg1-x52d.google.com with SMTP id 41be03b00d2f7-5dbcfa0eb5dso201825a12.3 for <jsonpath@ietf.org>; Tue, 12 Mar 2024 11:00:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710266421; x=1710871221; darn=ietf.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=5h74uuC5yLYbcETbYUEWE1A9ZVxDXUfTV/pcSwFzkQI=; b=LDnYIPnYro2Q8S3cI0Ym9tgkkZTseRs3vJxX6d2jz/qUQPlteF1jVeuDxUMGpJIiKm sah5wg/5Z+eVfYjMNtnsXNCgbvu9EAblEqT6+cJ90LfGhW4HDMGa0396KiH0/mwWeLz2 0QlwCrmVHWph+qx7oi3JW9+WKt90gvLuqqfDVbfVn3MOCmQA3wB8vplX1IIJbfUHciRC +54Y5/02i/dO9Ges703bFH0mZsm/Z3alTo3X7KCRFgYEx2mmxZIZeIWtjuOCdUgoZgF6 buH0M15MrtD71jY9Qfk86bRjuPvFd4uVWdfEDIc9087H/R3XXtakfBNY1nCjnNZtJZRw zSPg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710266421; x=1710871221; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=5h74uuC5yLYbcETbYUEWE1A9ZVxDXUfTV/pcSwFzkQI=; b=bTxHc9ScNvmkm3zF6E1RJuuoP8mdvv4O60KsFeqRaJUIejD598LJJ85wRPCAyR4FLs KwwdMUQ3hpFBTp/beJoOGnuTS8mICWWJTAQXXygO68Q9N/4QjG7jGceIWNL7V95Zihcw Y4jqZwHiUC/+vguaBCW+XFWCS3w/neWTKJ+vLt7wULjNJPC7zZzijKWV2e7NPmf5Ktov 4oCivphCobFBkrZOBSAy/S0DVYUot5cZ8cKCLjDbfuGs5B9JJPg0AWeO2E9zHAIWS67j auXivucwkhUzSbHXkbty5P2oNhv6ZXBFjS1cdgOCoxquXqZVO9/r3oYsuycF5gALs1YD fQRw==
X-Gm-Message-State: AOJu0YwBo8MbLNFqwkabFgDKgwestFZwoq4yxEawVnP9ZVCkr0O43OLd Z2ubgBSvcZBs0eiZuNZ2f6iVH6c4pvuxv60PnnIN9ShRUCtkwObCzEgvBLP+GF+yS90V1PuU/1t 7dJGYRtxMCO1Ed6/dzi2Jb0y/E/2RztQSFp0=
X-Google-Smtp-Source: AGHT+IEfcULzDiO1/igGK3sSkLf6tXsmalGe3pA1bbCdhpLHqXP41exy0wIedkAkV44ANa90/DKTde0iAzp9JGXxgOw=
X-Received: by 2002:a17:90a:8414:b0:29b:db64:7a01 with SMTP id j20-20020a17090a841400b0029bdb647a01mr4714538pjn.26.1710266420455; Tue, 12 Mar 2024 11:00:20 -0700 (PDT)
MIME-Version: 1.0
From: Glyn Normington <glyn.normington.work@gmail.com>
Date: Tue, 12 Mar 2024 18:00:33 +0000
Message-ID: <CANH0Gb+Xn2+vjDzcywUC2EaV1fioWiZ03i_op4dxO+_4O6ZFYg@mail.gmail.com>
To: jsonpath@ietf.org
Content-Type: multipart/alternative; boundary="0000000000007670a706137a6ead"
Archived-At: <https://mailarchive.ietf.org/arch/msg/jsonpath/F5SKYTGKzM2gMNKZE_Fkb7IKUa0>
Subject: [Jsonpath] Testing the non-deterministic behaviour of JSONPath
X-BeenThere: jsonpath@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Discussion of JSONPath syntax <jsonpath.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/jsonpath/>
List-Post: <mailto:jsonpath@ietf.org>
List-Help: <mailto:jsonpath-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 12 Mar 2024 18:00:25 -0000

I've written up some recent experiments to improve the testing of the
non-deterministic features of RFC 9535.

Blog post: https://underlap.org/testing-non-determinism
Testcase generator: https://github.com/glyn/jsonpath-nondeterminism

Any comments or suggestions for improvements gratefully received.

Regards,
Glyn