language agnostic - Upper limit of bugs in a given program -

-

Is there a limit on the number of bugs present in a given program? If the number of instructions is known, can someone say that the program can not be more than 'N'? For example, how many bugs might be in the following functions? 

  Double Calci Interest (Double Amount) {Return- O.07 / zodiac; } A parser will count four words in the

function, and I can count these errors:

  • Wrong number syntax
  • Inaccurate
  • Potentially divided by zero

Obviously not a number of bugs (business requirements error)

  • Incorrect calculations (should be multiplied)
    • Infinite gave a limited number of instructions, alternatively someone can say that the function accepts 2 ^ 64 inputs, and they How many tend to produce correct output. However, is there any way to formally prove the upper limit?

    If the bug was not found by the "a requirement" " program, the bug There is no limit on the number of (per line or other) number, because there is no limit on the number of requirements. 

      Print "Hello World"

    There can be one million bugs in it, it is not making a pink elephant. I leave it to 999999 to meet other requirements which are not satisfied with this program. Land.


    Comments

    Post a Comment

    Popular posts from this blog

    c++ - Linux and clipboard -

    -
    After selecting the copies of the buffer in Linux, after the text, we can click and paste the button between the mouse. I think there is a special buffer for this, I want to use it. Programming Language: C ++ Your Library: Qt Thanks. There is just one more correct answer than Paul Dixon, which answers your needs: / P > QClipboard * clipboard = QApplication :: clipboard (); CastString Selected Text = Clipboard-> Text (QClipboard :: Selection);
    Read more

    Visual Studio 2005: How to speed up builds when a VSMDI is open? -

    -
    Using Visual Studio 2005, if I open the test in VSMFI and try to run the tests, then sometimes the projects are ready. However, they run very slow. CPU 99% waste and output window VS Shows things associated with compiling it. Is there any way to fix this? It does not make any sense. It is not necessary to upgrade that we are a viable alternative to those people who have to deal with the legacy code. Did you try to upgrade SP1? I do not know of any specific problem in this area, but this will be the first change I tried to do.
    Read more

    booting ubuntu from usb using virtualbox -

    -
    I am trying to install Ubuntu on a USB, the problem is that I do not want to repeat the boot once, I want to keep my windows, but I want to boot Ubuntu using the virtualbox and USB to the Ubuntu Want to use my hard drive, but how? The virtualbox will not recognize USB as a hard drive when installing an ISO In virtualbox, you have to create a virtual hard disk. Make a USB drive and tell the virtual box to install a virtual hard drive that you just created. EDIT: To answer some more questions: In the new Virtual Disk dialog, click the button next to the location field, click on the button Virtual Disk on Flash Drive To access, click the arrow next to Save in the Select File in the window next to Save In, and you can access your flash drive from there. I recommend setting the image to be allocated dynamically, because the size of your flash drive is not available disk space. I name the image, then select that image to install Ubuntu in the Verbill box. The virtualbox will never...
    Read more