Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Collapse
Code Project
  1. Home
  2. Other Discussions
  3. The Insider News
  4. Microsoft researchers explore a practical way to build bug-free software

Microsoft researchers explore a practical way to build bug-free software

Scheduled Pinned Locked Moved The Insider News
comhelp
9 Posts 9 Posters 0 Views 1 Watching
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • K Offline
    K Offline
    Kent Sharkey
    wrote on last edited by
    #1

    Inside Microsoft Research[^]:

    Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

    *to varying definitions of "bug-free"

    Kornfeld Eliyahu PeterK J R M D 8 Replies Last reply
    0
    • K Kent Sharkey

      Inside Microsoft Research[^]:

      Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

      *to varying definitions of "bug-free"

      Kornfeld Eliyahu PeterK Offline
      Kornfeld Eliyahu PeterK Offline
      Kornfeld Eliyahu Peter
      wrote on last edited by
      #2

      Kent Sharkey wrote:

      software systems ... free of bugs

      And how complicated that 'software system' is? Like 1 + 1 = 2?

      Kent Sharkey wrote:

      perfect software

      Can it make coffee?

      Skipper: We'll fix it. Alex: Fix it? How you gonna fix this? Skipper: Grit, spit and a whole lotta duct tape.

      "It never ceases to amaze me that a spacecraft launched in 1977 can be fixed remotely from Earth." ― Brian Cox

      1 Reply Last reply
      0
      • K Kent Sharkey

        Inside Microsoft Research[^]:

        Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

        *to varying definitions of "bug-free"

        J Offline
        J Offline
        Joe Woodbury
        wrote on last edited by
        #3

        "I can create bug-free software, if by bugs you mean things I can detect."

        1 Reply Last reply
        0
        • K Kent Sharkey

          Inside Microsoft Research[^]:

          Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

          *to varying definitions of "bug-free"

          R Offline
          R Offline
          Ron Anders
          wrote on last edited by
          #4

          Best of blessing to that!

          1 Reply Last reply
          0
          • K Kent Sharkey

            Inside Microsoft Research[^]:

            Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

            *to varying definitions of "bug-free"

            M Offline
            M Offline
            Member 11683251
            wrote on last edited by
            #5

            By changing the definition of bug we have managed to produce software that's 100% bug free.

            1 Reply Last reply
            0
            • K Kent Sharkey

              Inside Microsoft Research[^]:

              Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

              *to varying definitions of "bug-free"

              D Offline
              D Offline
              den2k88
              wrote on last edited by
              #6

              Closed because it is by design.

              GCS d--- s-/++ a- C++++ U+++ P- L- E-- W++ N++ o+ K- w+++ O? M-- V? PS+ PE- Y+ PGP t++ 5? X R++ tv-- b+ DI+++ D++ G e++>+++ h--- ++>+++ y+++*      Weapons extension: ma- k++ F+2 X If you think 'goto' is evil, try writing an Assembly program without JMP. -- TNCaver "When you have eliminated the JavaScript, whatever remains must be an empty page." -- Mike Hankey

              1 Reply Last reply
              0
              • K Kent Sharkey

                Inside Microsoft Research[^]:

                Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

                *to varying definitions of "bug-free"

                G Offline
                G Offline
                Gittum
                wrote on last edited by
                #7

                Kent Sharkey wrote:

                to varying definitions of "bug-free"

                Agreed :thumbsup:

                1 Reply Last reply
                0
                • K Kent Sharkey

                  Inside Microsoft Research[^]:

                  Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

                  *to varying definitions of "bug-free"

                  D Offline
                  D Offline
                  Dan Neely
                  wrote on last edited by
                  #8

                  Does anyone know what they're actually promising/delivering? Proving software bug free is equivalent to solving the halting problem, and thus is impossible for the general case on a Turing Machine. The 4 most likely possibilities I see are: 0) Their tool only works on simpler languages that aren't Turing Complete; in which case the question becomes how gimped are the languages and what do we lose the ability to do by coding in them? 1a) It only works on a subset of normal code or 1b) a subset of possible bugs. In which case even more than before the question becomes where the limits of what it can do are. 2) They're trying to blow smoke up our USB ports. As written, the article tends to imply 1a; but I trust PR publications about as far as I can dropkick the companies who create them.

                  Did you ever see history portrayed as an old man with a wise brow and pulseless heart, waging all things in the balance of reason? Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful? --Zachris Topelius Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies. -- Sarah Hoyt

                  1 Reply Last reply
                  0
                  • K Kent Sharkey

                    Inside Microsoft Research[^]:

                    Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

                    *to varying definitions of "bug-free"

                    M Offline
                    M Offline
                    Marc Clifton
                    wrote on last edited by
                    #9

                    As in, don't let Microsoft write the software? ;) Marc

                    Imperative to Functional Programming Succinctly Contributors Wanted for Higher Order Programming Project!

                    1 Reply Last reply
                    0
                    Reply
                    • Reply as topic
                    Log in to reply
                    • Oldest to Newest
                    • Newest to Oldest
                    • Most Votes


                    • Login

                    • Don't have an account? Register

                    • Login or register to search.
                    • First post
                      Last post
                    0
                    • Categories
                    • Recent
                    • Tags
                    • Popular
                    • World
                    • Users
                    • Groups