Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Knowledge, sir, should be free to all! -- Harry Mudd, "I, Mudd", stardate 4513.3


devel / comp.lang.python / Re: Question(s)

SubjectAuthor
o Re: Question(s)Dom Grigonis

1
Re: Question(s)

<mailman.33.1698176950.3828.python-list@python.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24176&group=comp.lang.python#24176

  copy link   Newsgroups: comp.lang.python
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!not-for-mail
From: dom.grig...@gmail.com (Dom Grigonis)
Newsgroups: comp.lang.python
Subject: Re: Question(s)
Date: Tue, 24 Oct 2023 22:49:00 +0300
Lines: 66
Message-ID: <mailman.33.1698176950.3828.python-list@python.org>
References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
<AE3F0D6C-C1B6-4665-BAD9-F0F8B45AD3BF@gmail.com>
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\))
Content-Type: text/plain;
charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 0k+Hkz1LFXtxqrK8y9C5JAhRoqZPNHp8qY+66FFJmQRQ==
Cancel-Lock: sha1:aJuhgUIYl4sy57WKwBmgK/Ot9KM= sha256:sUVmNzvh36GXJeYW+gg16jR7OsYwzBa3YKTguef/BgY=
Return-Path: <dom.grigonis@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
Authentication-Results: mail.python.org; dkim=pass
reason="2048-bit key; unprotected key"
header.d=gmail.com header.i=@gmail.com header.b=fUwRwyGg;
dkim-adsp=pass; dkim-atps=neutral
X-Spam-Status: OK 0.121
X-Spam-Level: *
X-Spam-Evidence: '*H*': 0.76; '*S*': 0.00; 'programming.': 0.05;
'windows,': 0.05; 'byte': 0.09; 'cc:addr:python-list': 0.09;
'imo,': 0.09; 'url:mailman': 0.15; 'problem.': 0.15;
'cc:name:python': 0.16; 'computers': 0.16; 'end-to-end': 0.16;
'finishing': 0.16; 'interesting,': 0.16; 'modular': 0.16;
'modularity': 0.16; 'o1bigtenor': 0.16; 'received:apple': 0.16;
'received:smtpclient.apple': 0.16; 'symbol': 0.16; 'tests,': 0.16;
'to:addr:o1bigtenor': 0.16; 'to:name:o1bigtenor': 0.16; 'wrote:':
0.16; 'message-id:@gmail.com': 0.18; 'hardware': 0.19;
'subject:Question': 0.19; 'cc:addr:python.org': 0.20; 'code':
0.23; 'installed': 0.23; 'url:wiki': 0.23; 'idea': 0.24; 'url-
ip:188.166.95.178/32': 0.25; 'url-ip:188.166.95/24': 0.25;
'url:listinfo': 0.25; 'cc:2**0': 0.25; 'programming': 0.25; 'url-
ip:188.166/16': 0.25; 'done': 0.28; 'email addr:python.org&gt;':
0.28; 'environment': 0.29; 'approach': 0.31; 'url-ip:188/8': 0.31;
'program': 0.31; 'think': 0.32; 'question': 0.32; 'accomplish':
0.32; 'concept': 0.32; 'python-list': 0.32; 'but': 0.32; "i'm":
0.33; 'there': 0.33; 'header:In-Reply-To:1': 0.34;
'received:google.com': 0.34; 'complex': 0.35;
'from:addr:gmail.com': 0.35; 'applying': 0.36; 'people': 0.36;
'using': 0.37; 'way': 0.38; 'could': 0.38; 'least': 0.39; 'this,':
0.39; 'ago': 0.39; 'beginning': 0.40; 'something': 0.40; 'lack':
0.60; 'best': 0.61; 'remember': 0.61; 'subject': 0.63; 'skip:b
10': 0.63; 'verify': 0.64; 'subject:(': 0.64; 'well': 0.65;
'years': 0.65; 'wish': 0.66; 'url-ip:18/8': 0.67; 'lowest': 0.69;
'received:mail-lj1-x22d.google.com': 0.69; 'skip:w 20': 0.69;
'solutions': 0.70; 'url-ip:208.80/16': 0.70; 'url:wikipedia':
0.70; 'url-ip:208/8': 0.71; 'little': 0.73; 'article': 0.73;
'proven': 0.76; 'supposed': 0.76; 'quick': 0.77; 'unit': 0.81;
'industry': 0.81; 'reasons': 0.84; 'variety': 0.84; 'assembled':
0.84; 'code)': 0.84; 'email name:&lt;python-list': 0.84;
'platforms.': 0.84; 'poorly': 0.84; 'received:88': 0.84;
'sensors': 0.84; 'flexible': 0.91; 'magazine': 0.93
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1698176949; x=1698781749; darn=python.org;
h=references:to:cc:in-reply-to:date:subject:mime-version:message-id
:from:from:to:cc:subject:date:message-id:reply-to;
bh=8hT+qmSbrfjyInZ1RHaawhkZU2qpWeoyPmwytylv90g=;
b=fUwRwyGgIym0lVDd2CrzxMpEowZgbVONAHQAyF8so94yb+efJwwR0/3EmiEsd1SRBX
ZCH85SZ9vlXG+J/3EV/0q3Pmve6BQLFSOCd8oJbf2tsNM7TWxUbf5dhqGXLygZ0+Gd1N
OWtrQp9iBzBSOkzVbT47/FaABnKjsZq4RzFEBF9O4uLI/f7bf8UyyZHse6vOXK0drf0R
HHSE5teC9PMOmks6kkkrvklp7hAvlCFZY10TBQajLMGxr9dQI+co+gc+SYVjL/LMnaoU
jnrU1N7+ta75NPlafGdCzORFMrGL9YSTTFPktqnhWXFBStQhBnt3lqY4eiM57oFKO9ud
FmYw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1698176949; x=1698781749;
h=references:to:cc:in-reply-to:date:subject:mime-version:message-id
:from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=8hT+qmSbrfjyInZ1RHaawhkZU2qpWeoyPmwytylv90g=;
b=pWyp6ZWqhBDM+jrHnu6gm0ysz6PucTWAC1uiZP8DUtv38dcR7A4EoKIQXB/evQLnQc
WADKvOHwCh1/ZW6H5guuyiX8/fR+0S7TmS75/21QIetKiEFDhXcSnGVOn6oTMpoTXLNd
l2XEJrOdLncgDSdknRJN9/50aeGBgKinyHjfXQTqNZ++WBNtmGk3ciJEmdrT9v1gO3+H
P6LZqjg12iSpuxd3dC2/N99t3aJ++AjBt55nmwrqX4SRyCwgIykdA1hK6iUVrlJcvsBj
KmrFhm0p5xOWL26BaFj1CM4HHw49ZN0DHI2aq1TPctqIcgmeQAkuiP214yyTxSmYWuZk
pqCQ==
X-Gm-Message-State: AOJu0YyIQnL/3ZSrsoKv4M/hhzT3JSaqfNE/FSQzs2EaJgqoCDv/4oin
G9XWjxdupJbK8Txrq4ycqus=
X-Google-Smtp-Source: AGHT+IF/MYe2nuSOoU+5jLe89+4eWNLhCYhZdHjTcl7CDsp9nGMarpZw1ryyzuipCNNkAyjeOPo/dA==
X-Received: by 2002:a2e:9a89:0:b0:2bc:b821:84ad with SMTP id
p9-20020a2e9a89000000b002bcb82184admr7580400lji.16.1698176948516;
Tue, 24 Oct 2023 12:49:08 -0700 (PDT)
In-Reply-To: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
X-Mailer: Apple Mail (2.3654.120.0.1.15)
X-Content-Filtered-By: Mailman/MimeDel 2.1.39
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: General discussion list for the Python programming language
<python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>,
<mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <https://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>,
<mailto:python-list-request@python.org?subject=subscribe>
X-Mailman-Original-Message-ID: <AE3F0D6C-C1B6-4665-BAD9-F0F8B45AD3BF@gmail.com>
X-Mailman-Original-References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
 by: Dom Grigonis - Tue, 24 Oct 2023 19:49 UTC

I don’t think there i a simple answer to this, although if you find something interesting, please share.

From my experience, industry is applying variety of testing methods. Starting from lowest level components and implementing unit tests, finishing with end-to-end testing platforms.

https://www.atlassian.com/continuous-delivery/software-testing/types-of-software-testing <https://www.atlassian.com/continuous-delivery/software-testing/types-of-software-testing>

Modular programming paradigm, IMO, is one of the solutions to this problem. Then, each component is a flexible program in itself that can be combined with others. This way, code is re-used by many people and code is well tested and issues are quick to surface.

As far as I know, unix/linux has a big emphasis on modularity in contrast with monolithic approach of windows, which could be one of the big reasons why (at least from my perspective) working in unix environment is so much more pleasant.

https://en.wikipedia.org/wiki/Unix_philosophy <https://en.wikipedia.org/wiki/Unix_philosophy>

Regards,
DG

> On 24 Oct 2023, at 15:22, o1bigtenor via Python-list <python-list@python.org> wrote:
>
> Greetings
>
> (Sorry for a nebulous subject but dunno how to have a short title for
> a complex question.)
>
> I have been using computers for a long time but am only beginning my
> foray into the
> galaxy of programming. Have done little to this point besides
> collection of information
> on sensors and working on the logic of what I wish to accomplish. Have
> been reading code that accompanies other's projects in the process of
> self development.
>
> Is there a way to verify that a program is going to do what it is
> supposed to do even
> before all the hardware has been assembled and installed and tested?
>
> (Many years ago I remember an article (if not an issue) in Byte magazine about
> mathematically proven constructs a.k.a. programs - - - this idea is
> what I'm pursuing.
> The concept is that in non-trivial programs there are plenty of places where a
> poorly placed symbol or lack of a character will result in at best an inaccurate
> result and at worst - - - no result. This is the kind of thing
> (correct code) that I'm
> hoping to accomplish - - - to rephrase the question - - - how do I
> test for that?)
>
> TIA
> --
> https://mail.python.org/mailman/listinfo/python-list

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor