Re: Suche Erfahrungen mit Fritz! Smarthome

From	Hans-Peter Diettrich <DrDiettrich1@aol.com>
Newsgroups	de.sci.electronics
Subject	Re: Suche Erfahrungen mit Fritz! Smarthome
Date	2016-12-13 09:59 +0100
Message-ID	<eb9sipFlnn1U7@mid.individual.net> (permalink)
References	(6 earlier) <o2mge2$ks$1@dont-email.me> <o2mhnq$hba$1@news.albasani.net> <584EDDBF.73FF341D@B.Maus.De> <o2mo2v$2uu$1@news.albasani.net> <584EFA8F.48E175EF@B.Maus.De>

Show all headers | View raw

Axel Berger schrieb:
> Werner Holtfreter wrote:
>> Bisher ist es unmÃ¶glich zu beweisen, dass Software fehlerfrei ist.
> 
> Und? Für rein mechanische Bremsen und Lenkungen gilt dasselbe. Trotzdem
> verlegt man den Alphatest dort nicht zum Kunden.

Das eine hat mit dem anderen nichts zu tun. Hardware funktioniert wie 
sie soll, solange nichts kaputtgeht, und diese Funktion kann man 
konstruieren und überprüfen. Bei Software ist so eine Überprüfung zwar 
theoretisch möglich, scheitert aber an der Komplexität und damit am 
notwendigen Aufwand. Was sollte denn passieren, wenn in einem "sicheren" 
Programm Werte auftauchen, die außerhalb ihrer Spezifikation liegen?

Wenn eine Klimaanlage nicht mehr funktioniert, weil in der Spezifikation 
so hohe Umgebungstemperaturen nicht vorgesehen waren, dann ist das kein 
Fehler der Implementierung, sondern mangelhafter Vorgaben. Wenn es schon 
bei Hardware so schwierig ist, die wenigen Vorgaben praxisgerecht 
festzulegen, wird das bei Software hoffnungslos unübersichtlich.

DoDi

Thread

Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-11 19:41 +0100
  Re: Suche Erfahrungen mit Fritz! Smarthome Hartmut Kraus <hartmut.melina@web.de> - 2016-12-11 22:46 +0100
  Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-11 23:47 +0100
    Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 09:06 +0100
      Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-12 12:19 +0100
        Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 13:26 +0100
          Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 14:44 +0100
            Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 16:42 +0100
              Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 17:03 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:07 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-12 18:24 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:55 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-13 11:22 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-14 13:20 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-16 20:42 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:15 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:27 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 21:19 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 08:11 +0000
                Re: Suche Erfahrungen mit Fritz! Smarthome Volker Bartheld <news2016@bartheld.net> - 2016-12-13 09:18 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:14 +0000
                Re: Suche Erfahrungen mit Fritz! Smarthome OT Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:41 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Rolf Bombach <rolfnospambombach@invalid.invalid> - 2016-12-18 23:23 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-19 11:06 +0000
                Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 18:26 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 18:51 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:56 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:42 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:29 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 09:59 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:43 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-18 14:33 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-21 10:06 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-21 14:15 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-12 14:16 -0800
                Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 10:08 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:38 +0000
                Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-14 14:21 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:50 +0100
                Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-13 13:49 -0800
              Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:34 +0100
              Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:36 +0100
          Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-13 07:42 +0100
  Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 18:55 +0100
    Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 20:51 +0100
      Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 23:12 +0100
  Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:33 +0100

csiph-web