Windows may not deserve its buggy reputation
An article in Wired.com suggests that the Windows operating system may not fully deserve the buggy reputation it has developed over the years. It seems that many of the software crashes users stoically put up with are caused by bugs in device drivers deep in the system, and not by Windows itself.
Now Microsoft is doing something about this. Wired reports, “… in a little-noticed project percolating in Redmond, the world’s biggest single producer of software bugs is pushing the envelope on an anti-bug technology that promises to make the Windows operating system a whole lot more reliable, and may eventually raise the bar for dependable software throughout the industry.”
The company has developed a Static Driver Verifier (SDV) which checks the source code of Windows device drivers against a mathematic model.
When Bill Gates announced that the technology was under development at the 2002 Windows Engineering Conference, he called it “the holy grail of computer science” ~ a description that does not overstate the tool’s significance. “Now in some very key areas ~ for example, driver verification ~ we’re building tools that can do actual proof about the software and how it works in order to guarantee the reliability,” said Gates.
The program is now in the hands of developers.
[Sourse: Wired.com]
0 opinions for Windows may not deserve its buggy reputation
No one has left a comment yet. You know what this means, right? You could be first!
Have an opinion? Leave a comment: