How Is ‘Life or Death’ Software Tested?

Your average scripter likely isn’t writing a whole lot of proofs or going through the rigors of formal program verification, generally. Which is fine because your average scripter also isn’t writing software for jet airliners or nuclear power plants or robotic surgeons. But somebody is—and the odds are pretty good that your life has been in their hands very recently. How do you know they’re not a complete hack?

Well, you don’t really. Which prompts the question: How is this sort of code tested?

. . . [A]ccording to [Stack Exchange] poster Uri Dekel (handle: Uri), a Google software engineer.

“There’s a serious move towards formal verification rather than random functional testing. Government agencies like NASA and some defense organizations are spending more and more on these technologies. They’re still a PITA [pain in the ass] for the average programmer, but they’re often more effective at testing critical systems.”

Written by  Michael Byrne, Motherboard Editor

Popular Software projects leave Sourceforge

The admin of the popular NotePad++ text editor announced today that the project would leave SourceForge as a response to what happened in past weeks.

(by onin Internet – Last Update: June 15, 2015)

What may be even more troubling for Sourceforge is that uBlock — and all of its spin-offs and forks — is now blocking access to the site by default.

The software project hosting website Sourceforge started to offer a new monetization option to projects hosted on the site in mid-2013 when it introduced install-wrappers which enabled projects to add third-party offers to installers on Windows to earn revenue from software installations. Continue reading

Looking Up Symptoms Online? These Companies are Tracking You.

Health data is some of the most private data you have. That a data reveals a lot about you. There’s a reason that we have laws like HIPAA—unfortunately those don’t apply here,” Quintin said. HIPAA is the Health Insurance Portability and Accountability Act of 1996, and it forces the government and doctors to keep patient medical records secure and confidential. It has no jurisdiction over search engine companies or data brokers who sap data “volunteered” by users.”

[Read more…]