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

    What is expire header and how to achive them in ASP.NET and PHP? -

    -
    I have examined the performance statistics of my website today. I have received a warning (or error may occur) that is given below Add Terminal Headers Here are 15 static components without a 15-futures end date * (no end) Http://www.example.com/video/css/global.css * (no time limit) http://www.example.com/video/js/global.js * (no expiration ) Http: //www.example.com/video/images/main-bg.png what it means and how to achieve it both in PHP and ASP.Net. I am on a shared hosting server, so please tell me some ways to use the code, because I can not make any modifications at the end of the server. If I expire the header, then there is no chance that if I make changes to the CSS, then the user will not be able to remove them immediately because CSS and other files have a fixed time limit (1 month, week ) Are cached for. Is Is there any harm to using PHP? $ time = time () + 3 * 24 * 60 * 60; // 3 day headings ('End:'. GMDAT ('D, D MYH: i: s \ g \ m \ t',
    Read more

    sql server - How can I determine which of my SQL 2005 statistics are unused? -

    -
    After a few years, one of my biggest databases has deposited 73 figures out of its largest tables. With Indexes, I can run many types of reports and queries, how often / heavily specific indexes are used. What is an equivalent for data? We are running SQL 2005. To make statistics automatically managed and honest, I would like to "update statistics", "create statistics" and There is no information about any management except "drop statistics" orders. In theory, UPDATE should handle the addition and removal of statistical data. In addition, I've never heard about the amount of storage or storage taking in large amounts, so I'm not sure whether there is any reason for the alarm or not. If you are seeing a potential problem, then I would suggest running an update before, if it does not clean it, it is leaving and then it appears to be safe operation (because it is the only query optimizer Is for). I will not leave "left" in the
    Read more