Re: [yang-doctors] automating yang doctor reviews

Andy Bierman <andy@yumaworks.com> Tue, 24 April 2018 20:30 UTC

Return-Path: <andy@yumaworks.com>
X-Original-To: yang-doctors@ietfa.amsl.com
Delivered-To: yang-doctors@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B017A12D94E for <yang-doctors@ietfa.amsl.com>; Tue, 24 Apr 2018 13:30:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.609
X-Spam-Level:
X-Spam-Status: No, score=-2.609 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001, T_DKIMWL_WL_MED=-0.01, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=yumaworks-com.20150623.gappssmtp.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 0-E0wkC7NOG1 for <yang-doctors@ietfa.amsl.com>; Tue, 24 Apr 2018 13:30:44 -0700 (PDT)
Received: from mail-lf0-x22d.google.com (mail-lf0-x22d.google.com [IPv6:2a00:1450:4010:c07::22d]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6FDE612D87C for <yang-doctors@ietf.org>; Tue, 24 Apr 2018 13:30:44 -0700 (PDT)
Received: by mail-lf0-x22d.google.com with SMTP id z130-v6so22262288lff.5 for <yang-doctors@ietf.org>; Tue, 24 Apr 2018 13:30:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yumaworks-com.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=FEF/ls9CiH1jCkXGkuzWwFShtuqVoW3hP8+PztY5uOs=; b=mSkFHIQ7wErXNMZd3DSjKPHrkIHfR7+IL20e4BgngD6FRgOixlF7QR3NJ1FuDu8xmA VSX2aXCGcUaHLyVq7dqdNM/9Dq1Ffe2RoJfAp7sQ4AIezrFmLpPAU6zQM2nnL9rtooqn T/ElG68JZnRf8w0KMmDbh9ZiIjMGTHg9fA73gpleNJd9ADXyBrdjwKmZ3D5/D2lzNJ1S RRmYTRBc5IvGCCWlgDlXE90tsJcJ+UtH23zE6Rxu9FFI0kShsXn8vyYGlNAtYmxByDLU 8DPPs0Cc8rxDsLPGS04bSNed8aPku7iFQPvWCGRabW4AmCXvEB20nRYf1u80dPYqQsfo D4HQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=FEF/ls9CiH1jCkXGkuzWwFShtuqVoW3hP8+PztY5uOs=; b=V9JqBayuEhJrRbRCJccnam2N7D3AyV3MncywJGt2SYsDW3mtbgeCiCMK+ykNVLIz9h GYUwejhdULF8bwbGjQG5ucM3jXbs/tWUYgg1hqmm+bSKHcZ5TvZMBqPHPLre+sTKXHa7 BMNqQx5tX6PgN7UFHECgTar+0VsNgqGiz2EDSzxUgYoYUO+Tv2dQtXL6UNXfbQFPwwhz vhcBDe6NIBsffpzABInHfgCr0DpC3eGDutcvnT+ZaYNom8KHA2YZ1G4RwiSZWk2Bf39l /gCMRJe2ICWzYQKhswX3O/c8ZD/6VaDjKJuZ/lrRVxtxiWmpSjvaMsIRPK51Zjir0Ffy ZIMw==
X-Gm-Message-State: ALQs6tDlVHqO4MxZkJaj15s6J10gNx0bMstpSDqMT/8FXRHfL0dwuIuQ 0mWh2xHqi+ac1JbsX787RbZZr3F1hue4uWpfRcW6Ng==
X-Google-Smtp-Source: AB8JxZofhIsiGV9hYm0zs1pkax0OjCpiA+1qJoIFVbQxtRSZ9oX0lFH3/xL+STZiLOa8GjCy29rDt3i2WzxXkvr1agw=
X-Received: by 2002:a19:4e4a:: with SMTP id c71-v6mr12969626lfb.42.1524601842544; Tue, 24 Apr 2018 13:30:42 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a19:d8c6:0:0:0:0:0 with HTTP; Tue, 24 Apr 2018 13:30:41 -0700 (PDT)
In-Reply-To: <8D1A39C4-A910-43CB-AC60-3743E110DF32@juniper.net>
References: <51E10A3A-FF6F-4A14-AAD6-BBD12041EF2F@juniper.net> <CABCOCHS5nf+z5ABnuWfbV15qi5pVGNVFWMLm6Oi6KkCjkbX+Nw@mail.gmail.com> <8D1A39C4-A910-43CB-AC60-3743E110DF32@juniper.net>
From: Andy Bierman <andy@yumaworks.com>
Date: Tue, 24 Apr 2018 13:30:41 -0700
Message-ID: <CABCOCHR1d1VYh_DVxcgOfhhJeA7vSZx0oK7ywV_Haphksf821Q@mail.gmail.com>
To: Kent Watsen <kwatsen@juniper.net>
Cc: "yang-doctors@ietf.org" <yang-doctors@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000003fc9e4056a9e07a0"
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/1f_4HSWv6oidNVGkSF4GSC0cPbU>
Subject: Re: [yang-doctors] automating yang doctor reviews
X-BeenThere: yang-doctors@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Email list of the yang-doctors directorate <yang-doctors.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/yang-doctors/>
List-Post: <mailto:yang-doctors@ietf.org>
List-Help: <mailto:yang-doctors-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 24 Apr 2018 20:30:47 -0000

On Tue, Apr 24, 2018 at 12:36 PM, Kent Watsen <kwatsen@juniper.net>; wrote:

>
>
>
>
> Hi Andy,
>
>
>
> > The draft is not fully-specified for features like validation of
> examples.
>
> > This might be difficult to automate.
>
>
>
> The draft intends to support the validation of examples (see Section 6.2),
> which would presumably be encoded inside XML2RFC's  <sourcecode> element.
>  I agree that the current text is weak, is this what you mean by "not
> fully-specified"?
>
>
>

yes - you have to define lots of metadata to properly validate examples,
or force the user to write a separate validate-script for every example


Andy



> > Validation of YANG trees seems like a complex exercise.
>
> > Automatic generation of tree diagrams would be a great feature.
>
>
>
> Correct, the draft avoids trying to *validate* tree-diagrams by instead
> focusing on enabling the tree-diagrams to be generated (see the "gen"
> attribute defined in Section 6.1)
>
>
>




> > Andy
>
>
>
> Kent
>
>
>