3 ms·

Define what is a bug in a spec? I defined the program to do one thing and one thing only. What does does it mean when I have a bug in my definition? There's a d

• aassddffasdf 8y ago
  It means that the one thing you defined it to do was not the right thing.
• throwaway2048 8y ago
  You can argue that no code ever has bugs by that logic, after all you defined the program to do one thing, and it did it, it was merely human expectation that was in error.
  • crimsonalucard 8y ago
    That's what I'm arguing. Code can be proven correct against a formal spec. However, because we don't do proofs in software, there are bugs.
    • throwaway2048 8y ago
      Code is itself a specification.
      • crimsonalucard 8y ago
        It can be, but generally it is not.