Re: [netmod] WGLC - draft-ietf-netmod-yang-tree-diagrams

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Tue, 16 January 2018 20:06 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 135FA12E957 for <netmod@ietfa.amsl.com>; Tue, 16 Jan 2018 12:06:41 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.91
X-Spam-Level:
X-Spam-Status: No, score=-1.91 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, T_RP_MATCHES_RCVD=-0.01] autolearn=ham autolearn_force=no
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 Ez9oLvcJaqWQ for <netmod@ietfa.amsl.com>; Tue, 16 Jan 2018 12:06:39 -0800 (PST)
Received: from atlas5.jacobs-university.de (atlas5.jacobs-university.de [212.201.44.20]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A87FC126C19 for <netmod@ietf.org>; Tue, 16 Jan 2018 12:06:38 -0800 (PST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas5.jacobs-university.de (Postfix) with ESMTP id 7431CDBD; Tue, 16 Jan 2018 21:06:37 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas5.jacobs-university.de ([10.70.0.217]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10032) with ESMTP id eUVAB8dxn4lB; Tue, 16 Jan 2018 21:06:37 +0100 (CET)
Received: from hermes.jacobs-university.de (hermes.jacobs-university.de [212.201.44.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "hermes.jacobs-university.de", Issuer "Jacobs University CA - G01" (verified OK)) by atlas5.jacobs-university.de (Postfix) with ESMTPS; Tue, 16 Jan 2018 21:06:37 +0100 (CET)
Received: from localhost (demetrius4.jacobs-university.de [212.201.44.49]) by hermes.jacobs-university.de (Postfix) with ESMTP id 57C3C2013F; Tue, 16 Jan 2018 21:06:37 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius4.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id j3lIe1HO8FjB; Tue, 16 Jan 2018 21:06:36 +0100 (CET)
Received: from elstar.local (unknown [10.50.231.133]) by hermes.jacobs-university.de (Postfix) with ESMTP id 8591F2013E; Tue, 16 Jan 2018 21:06:36 +0100 (CET)
Received: by elstar.local (Postfix, from userid 501) id 47B854212505; Tue, 16 Jan 2018 21:06:36 +0100 (CET)
Date: Tue, 16 Jan 2018 21:06:36 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Vladimir Vassilev <vladimir@transpacket.com>
Cc: joel jaeggli <joelja@bogus.com>, Robert Wilton <rwilton@cisco.com>, Martin Bjorklund <mbj@tail-f.com>, netmod@ietf.org
Message-ID: <20180116200636.w437ttcwyqswnj2t@elstar.local>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Vladimir Vassilev <vladimir@transpacket.com>, joel jaeggli <joelja@bogus.com>, Robert Wilton <rwilton@cisco.com>, Martin Bjorklund <mbj@tail-f.com>, netmod@ietf.org
References: <aa7a1449-fd6e-e4c6-7568-41061c09d9f2@transpacket.com> <20180116.115606.561861432247288407.mbj@tail-f.com> <e94d1ed3-e859-3167-501f-ce23e77804df@transpacket.com> <20180116.164053.2123534827829006518.mbj@tail-f.com> <e63efa9f-3114-d59d-e1d8-e62602a830c5@cisco.com> <a2c75af7-c5b9-f277-1d04-5891dc97c0d2@bogus.com> <2585727d-80df-a4bc-e1e5-64f4575aac9f@transpacket.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <2585727d-80df-a4bc-e1e5-64f4575aac9f@transpacket.com>
User-Agent: NeoMutt/20171215
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/AzfK7owTugTo721CfTpHHLV2ONc>
Subject: Re: [netmod] WGLC - draft-ietf-netmod-yang-tree-diagrams
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 16 Jan 2018 20:06:41 -0000

On Tue, Jan 16, 2018 at 08:19:38PM +0100, Vladimir Vassilev wrote:
> 
> As for the automated validation of the tree diagrams as an added value to
> the human readability I have the following thoughts. I would like to be able
> to compare unlimited line length tree outputs generated by different YANG
> compilers for equality. This is mainly a way to have some partial common
> denominator output for validating YANG is correctly compiled which we did
> not have until now. For example as soon as I have support for Schema mount I
> would compare the tree output with another tool known to work and add some
> testcases based on that. I do not see any automated alternative for doing
> this except writing NETCONF chat scripts (also module specific), or writing
> not only YANG module specific but also API specific test cases as 3rd
> option. 1) does not compromise this automated validation option since space
> sequences can be collapsed to single space. If the alignment algorithm was
> creating a possibility for nontrivial output variation then I would have
> supported strongly 3) but this is not the current case.
>

If you want to make sure a YANG compiler is correct, simply write a
backend that generates a serialized YANG module in canonical
form. They YANG modules should be the same. Determining YANG compiler
correctness by comparing tree diagrams does not seem to be a
convincing approach since tree diagrams by design leave many details
out.

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>