From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:2752:: with SMTP id
 g79-v6mr22102658ita.4.1539853593002;
        Thu, 18 Oct 2018 02:06:33 -0700 (PDT)
X-Received: by 2002:aca:eb91:: with SMTP id
 j139-v6mr523348oih.4.1539853592852;
 Thu, 18 Oct 2018 02:06:32 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!x98-v6no160690ita.0!news-out.google.com!n199-v6ni224itn.0!nntp.google.com!x98-v6no160689ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 18 Oct 2018 02:06:32 -0700 (PDT)
In-Reply-To: <pq55ad$l96$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83d2:562e:9080:c00f:9918:9322;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83d2:562e:9080:c00f:9918:9322
References: <7fcdcc97-67e4-473b-abc4-cd0ecd4501ad@googlegroups.com>
 <pq2gge$a3s$1@dont-email.me>
 <8f6c0bfa-f7ed-4bee-a766-c786269f13a1@googlegroups.com>
 <pq55ad$l96$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eec140a3-cab7-43d2-a6a1-dc7ebce86a5b@googlegroups.com>
Subject: Re: Is the Documentation In a spec File Usually Enough For You ?
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Thu, 18 Oct 2018 09:06:32 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:54625
Date: 2018-10-18T02:06:32-07:00
List-Id: <comp.lang.ada>

Am Dienstag, 16. Oktober 2018 18:57:51 UTC+2 schrieb Jeffrey R. Carter:
> On 10/16/18 11:57 AM, AdaMagica wrote:
> > 
> > OK. In function Password_Generation.Generate, what are Domain and Master for?
> > What does Hash_Symbol do?
> 
> Good points. This was extracted from a more monolithic, earlier version of 
> Password_Gen, where perhaps these concepts were better explained, and I didn't 
> think to clarify them when I pulled them out. I'll try to explain these better.

Yes. Even inner specs that are not visible for the user must follow these rules that everything visible in the spec is exactly described. Then nothing bad happens when an internal package is extracted.

> > What does "correctness of the implementation" mean for this package?
> 
> That the function returns the same password for the same inputs, and the 
> passwords have all the desirable features for generated passwords:  they appear 
> random, contain characters from all the major food groups, and give away nothing 
> about the master password.

This is what I mean. There is no requirement defined for this operation. So how can I as a user know what I get? So you have to put this in the spec as a description. Then a user can make test to check whether the claims are true.

Christoph