Als «formal-methods» getaggte Fragen

3
Was sind die Hindernisse, die eine breite Anwendung formaler Methoden verhindern? [geschlossen]
Geschlossen . Diese Frage ist meinungsbasiert . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 2 Jahren . Formale Methoden können verwendet werden, um Code für eine …
5
Gibt es formalisierte / mathematische Theorien zum Testen von Software?
Googeln "Software-Test-Theorie" scheint nur Theorien im weichen Sinne des Wortes zu geben; Ich habe nichts gefunden, was als Theorie im mathematischen, informationstheoretischen oder in einem anderen wissenschaftlichen Sinne klassifiziert werden könnte. Was ich suche, ist etwas, das formalisiert, was Testen ist, die verwendeten Begriffe, was ein Testfall ist, die Machbarkeit, …
3
Was würde helfen, wenn eine große Methode überarbeitet wird, um sicherzustellen, dass ich nichts kaputt mache?
Ich überarbeite derzeit einen Teil einer großen Codebasis ohne Unit-Tests. Ich habe versucht, Code auf brutale Weise umzugestalten, dh indem ich versucht habe zu erraten, was der Code tut und welche Änderungen seine Bedeutung nicht ändern würden, aber ohne Erfolg: Es werden zufällig Funktionen rund um die Codebasis unterbrochen. Beachten …
2
Ist es üblich, Anforderungsspezifikationen in Prädikatenlogik für die funktionale Programmierung umzuwandeln?
Ich wurde kürzlich beauftragt, an einem kleinen Projekt zu arbeiten, das in Haskell umgesetzt wird. Ich komme aus einem OO / imperativen Hintergrund und bin es gewohnt, Anforderungen / User-Storys vor dem Codieren in Anwendungsfälle und Sequenzdiagramme umzuwandeln. Bei dem Haskell-Projekt, dem ich zugewiesen wurde, zieht das Team es jedoch …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.