|
So long we are humans. We can never be perfect. We are prone to making mistakes and we learn by them.
|
|
|
|
|
There are good formal proof kits that can verify correctness.
An O/S kernel that has end-to-end proofs of correctness and security: seL4[^].
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
I believe, bug-free software is a very relative term in computer programming, too. It depends on many factors, such as,
1) Features required in the application software.
2) Experience of the programmer writing the software.
3) Tests conducted on the application.
4) Whether the "compiled" part is required or not.
Personally, what I think happens is that a bug is just untested part or feature of the program. By test, I mean, what the output should be vs. what the output was being generated. Testing is just not about a finite set of inputs and outputs, but what the results are when you send a data that is meant to be corrupt — alphabets in a number textbox, SQL injection in data fetching text boxes etc. Bugs removal and bug detection has been confused a lot these years especially by beginners as they consider "Not responding" as a bug (which might be) but mostly (and IMO) bugs are the logical errors in the program.
In the light of what is shared above, I believe we will not get a bug-free software in a foreseeable future.
The sh*t I complain about
It's like there ain't a cloud in the sky and it's raining out - Eminem
~! Firewall !~
|
|
|
|
|
...it must be a small command line tool with precisely defined functionality and platform. And even then there're no guarantees, but it can be done. Other than that impossible (at least at this day and age).
|
|
|
|
|
I disagree, see my comment about seL4 (Definitely).
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
then (misunderstood and badly applied) Agile and cheap developer-monkeys who are lost without a friggin framework and can kill systems thanks to badly managed memoty (i.e. managed by a brainless system instead of a hopefully not brainless programmer).
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 I was six, there were no ones and zeroes - only zeroes. And not all of them worked. -- Ravi Bhavnani
|
|
|
|
|
den2k88 wrote: badly managed memoty
Sounds like you need some kind of brainless spell checking framework for that 
I came into this game for the action, the excitement. Go anywhere, travel light, get in, get out, wherever there's trouble, a man alone. Now they got the whole country sectioned off, you can't make a move without a form.
modified 31-Aug-21 21:01pm.
|
|
|
|
|
Today I'm mistyping anything, both in English and my native language. It's the Monday effect...
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 I was six, there were no ones and zeroes - only zeroes. And not all of them worked. -- Ravi Bhavnani
|
|
|
|
|
I can write a bug free "Hello World", no problem (actually it once took me a good 30 minutes in JavaScript because of a spelling error  ).
Building a full-scale bug-free enterprise application is a bit harder to get right (first run without compiling while writing  ).
Anyway, since there are A LOT of bunglers out there (my hypothesis is that 99% of people are bunglers) it won't happen for large applications created by big teams, especially when they run on different environments.
|
|
|
|
|
It is not possible to make your software idiot-proof, as idiots can be so ingenious.
Cheers,
Mick
------------------------------------------------
It doesn't matter how often or hard you fall on your arse, eventually you'll roll over and land on your feet.
|
|
|
|
|
I was thinking about a car. driving fast in a highway. At gear 4 u suddenly decide to change the gear to 1, and boom. If u are still alive there would be no car surely.In real world this is not a bug but in software it is and user should be treated like a child that can destroy every thing and even hurt him/herself.
|
|
|
|
|
I'm currenlty working for a customer of that kind. Adding complexity and complexity to allow him to keep using the 0.1% of his brain instead of the full 0.5% required for our software to be used.
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 I was six, there were no ones and zeroes - only zeroes. And not all of them worked. -- Ravi Bhavnani
|
|
|
|
|
In one of my projects the customer got angry with me 'why there is just 20 records but it should be 30'. It was the time when mouse scroll was discovered.
|
|
|
|
|
Oh you have one of my "Big Red Button" clients.
client whining: "Why is this so complex all I want is one button, aren't you supposed to make it simple"
Response: Next time this user opens the app there is one large red button with "Press Me" - he was not amused.
Never underestimate the power of human stupidity
RAH
|
|
|
|
|
He wants no button, everything must be done silently and automatically - in this case the recovery from fatal errors on hidden moving piston. He doesn't want to access the freaking diagnostic interface when something of this gravity happens - he doesn't want to learn the functions of the 4 buttons and 10 labels on that interface.
Poor thing, he's only the chief supervisor of two entire production lines of one of the biggest food industries of Italy (big exporter too), how could I ever ask some compentence of him.
PS: critical errors on that muthaf piston happen 1/2 times a week, because of course the engineer responsible for integrating the hardware in the machine (me) wasn't included in the loop during the selection of the hardware piece, so we ended up with a piston built in China with the firmware and the documentation written by a student who was writing his graduating thesis. Of course it works like sunshine.
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 I was six, there were no ones and zeroes - only zeroes. And not all of them worked. -- Ravi Bhavnani
|
|
|
|
|
|
The customer isn't always right, WE keep him always on the right; so that when we strike we're sure not to miss  
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 I was six, there were no ones and zeroes - only zeroes. And not all of them worked. -- Ravi Bhavnani
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
