Precisely what formal methods do you mean? Most attempts to connect black boxes to formal methods has to do with looking at their representations and how they act over them. See topological data analysis for instance. Fuzzing infers nothing about the internal structure, no?
Given the sheer scale of existing legacy code, I believe black(ish)box testing is the only way we're going to connect reality with all that formal methods have to offer. Here's a great review in the CACM by Patrice Godefroid, a researcher I respect a lot:https://cacm.acm.org/magazines/2020/2/242350-fuzzing/abstract …
-
-
-
A lot of verification and model checking work assumes somebody writes a spec. Blackbox techniques provide a very compelling way to obtain candidate specs.
- Još 1 odgovor
Novi razgovor -
-
-
thanks for this tweet, excited to read the article!
-
Home with a sick kid today... so this is what I see :-(pic.twitter.com/8YkefPLBS0
- Još 2 druga odgovora
Novi razgovor -
-
-
Absolutely agree! Maybe we should move our focus from attempting to prove that a program is correct to proving that a program is probably approximately correct :) https://en.wikipedia.org/wiki/Probably_approximately_correct_learning …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
Tweet je nedostupan.
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.