Shamim Ahmed Feb 27, 2021 6:30 pm How do I download the full report? When I click on that link, I get a page with no obvious way to download anything Reply
IT Revolution Mar 1, 2021 5:58 pm Hello, when you click through please click the Get button in yellow. It will ask you to sign in or sign up. Then you will be able to read and download the paper. Reply
Y Feb 26, 2021 6:19 pm Hello, I think it's also worth mentioning how formal methods can help software developers shift their mindsets and think differently about software. Software design shouldn't be just a bunch of diagrams or a few workflows; it's more serious than that. Whether an application has a monolithic or a microservices' architecture, the system should hold a set of properties. Most developers tend to focus on the "shape/form" of the system, and "forget" about the "properties" of the systems. This fallacy is also observed in the testing phase; we focus more on the form / shape of testing, and care less about the essence of testing. A test suite should test the properties of the system, not just make sure some inputs match some outputs (generally speaking; I know that there are areas where you don't have a lot of choice, like in fuzzy logic, AI, image processing, etc, where metamorphic testing is widely used). Writing formal specifications can help us, as developers, think about problems we may have never considered, model check our specs, and make sure the properties we expect to hold are actually true. I hope IT Revolution will consider tackling this area in the future. Regards, Reply