I'm seriously tempted...
-
*Pat on the shoulder* Hang in there old sport...
-Gatsby
-
Ray Cassick wrote:
Personally I am getting sick of the mantra 'all software has bugs'. When was the last time an aircraft guidance system needed to be rebooted mid flight?
Very strong comment. I will remember that one! And ofcourse, It's just commercial talk. Maybe it's a hard criterium, but it is possible to deliver software without any bug. throw new NotImplementedException("No signature.");
M@RI0 wrote:
it is possible to deliver software without any bug
No, it's not, except for trivial cases. The phrase "without bugs" implies a lot of things. For lack of a better definition, it means software that can be formally proven correct. Any application of meaningful size can't be proven correct. Similarly, even trivial applications that run under existing operating systems can't be proven correct, since you have to prove the environment correct as well. If you define "without bugs" as "software that isn't immediately lethal to the end user, or even better, doesn't get us sued in court", then sure. There's plenty of bug-free software out there.
Software Zen:
delete this; -
Christian Graus wrote:
were shutting off the plane to reboot the computer
One heck of a power switch on that computer. To restart, turn off airplane...:wtf:
Rob Graham wrote:
One heck of a power switch on that computer. To restart, turn off airplane...
Either we were on the same United flight, or it happens more than occasionally. Seriously, all power to the plane was shut off. Totally quiet, no lights, no air, no engines. IIRC it was the guidance computers. After a couple of minutes, fire up the engines and we're good to go. I remember saying, a little too loudly "Must be running Windows.":omg: I thought it was funny. Half the passengers in front of me turned around. It was obvious from the stares of disbelief that no one else found it humorous. :-O
Gary
-
John Cardinal wrote:
I never guessed anyone would try to do that
You can sum it up like this: All software would work perfectly if it wasn't for those pesky users!!
------------------------------------------- Don't walk in front of me, I may not follow; Don't walk behind me, I may not lead; Just bugger off and leave me alone!!
_Damian S_ wrote:
if it wasn't for those pesky users!
Hence, long live COBOL and command-line interfaces!!! :-D Contrary to popular beliefs, it IS possible to write bug-free software. It is difficult, but not impossible. With increased (or reduced) complexity comes bugs.
bool WasteTimeAndSuckCycles() { bool bWillNeverHappen = TRUE; int i = 0; while (bWillNeverHappen) { // Warm up the CPU // Wait for CPU Power-off i++; } return (bWillNeverHappen); }Gary
-
M@RI0 wrote:
it is possible to deliver software without any bug
No, it's not, except for trivial cases. The phrase "without bugs" implies a lot of things. For lack of a better definition, it means software that can be formally proven correct. Any application of meaningful size can't be proven correct. Similarly, even trivial applications that run under existing operating systems can't be proven correct, since you have to prove the environment correct as well. If you define "without bugs" as "software that isn't immediately lethal to the end user, or even better, doesn't get us sued in court", then sure. There's plenty of bug-free software out there.
Software Zen:
delete this;Gary Wheeler wrote:
M@RI0 wrote: it is possible to deliver software without any bug No, it's not, except for trivial cases.
Sorry, Wheeler, you've been listening to Billy G. too much. It is possible to write bug-free software. The software must do everything it is supposed to do, and nothing it is not supposed to do (the more difficult proof), including allowing for unanticipated situations. As a developer, it is not my responsibility to validate the O.S. or the complier/linker/assembler, however, the application must operate correctly under the O.S. that I qualify it for. Example, if an O.S. (bug) stops sending the application mouse clicks, that is not a problem with the application (that would appear to hang). If the compiler is wrong, again it is not a problem with the application. (Writing in machine code can alleviate compiler problems.) The difficulty is that formally proving software is correct is typically more time-consuming than the application/system development time. We attempt to reduce bugs by applying whatever testing we can, however, there comes diminishing returns. How much testing is done also, in the business world, depends on the "lethalness" of the software. If an application/system can kill/maim people or destroy equipment unintentionally, testing is generally more thorough than if the downside is our spell-checker misses some spellings. Also, having the software do self-checking takes CPU cycles and can make a system less responsive. Multi-processor CPUs can allow software to be more reliable at run-time with no degradation in performance. One thread tests the gozeins and gozeouts while another thread runs the logic. The logic thread returns expected results only if the checking thread finds no problems. Has ANYONE ever found a bug that after-the-fact given the resources was impossible under any means to find? No! We have an aha moment. Once found, we can add additional testing to find that bug in the future (or not). The problem is that we need to *think* about these situations at development time and incorporate them into the application.
Gary
-
_Damian S_ wrote:
if it wasn't for those pesky users!
Hence, long live COBOL and command-line interfaces!!! :-D Contrary to popular beliefs, it IS possible to write bug-free software. It is difficult, but not impossible. With increased (or reduced) complexity comes bugs.
bool WasteTimeAndSuckCycles() { bool bWillNeverHappen = TRUE; int i = 0; while (bWillNeverHappen) { // Warm up the CPU // Wait for CPU Power-off i++; } return (bWillNeverHappen); }Gary
ghle wrote:
Hence, long live COBOL and command-line interfaces!!!
I agree 50 per cent. Command-line interfaces rock. COBOL not so much. ;) Actually we could replace COBOL with a myriad of other languages and have that same "discussion." For example, "VB" or "C" or ".NET" or "Java." So let's leave at, "To each his own." By the way, you have a compiler warning. It should be:
bool bWillNeverHappen = true;Best regards, BDF -
ghle wrote:
Hence, long live COBOL and command-line interfaces!!!
I agree 50 per cent. Command-line interfaces rock. COBOL not so much. ;) Actually we could replace COBOL with a myriad of other languages and have that same "discussion." For example, "VB" or "C" or ".NET" or "Java." So let's leave at, "To each his own." By the way, you have a compiler warning. It should be:
bool bWillNeverHappen = true;Best regards, BDFTo each his own - agreed. Another thread discussed the desire to kill COBOL, just another reason why we can't.
Big Daddy Farang wrote:
By the way, you have a compiler warning. It should be: bool bWillNeverHappen = true;
Note: I do NOT have a compiler warning, you do. It compiled and executed just fine.:wtf: From afx.h
// Standard constants #undef FALSE #undef TRUE #undef NULL #define FALSE 0 #define TRUE 1 #define NULL 0Gary
-
To each his own - agreed. Another thread discussed the desire to kill COBOL, just another reason why we can't.
Big Daddy Farang wrote:
By the way, you have a compiler warning. It should be: bool bWillNeverHappen = true;
Note: I do NOT have a compiler warning, you do. It compiled and executed just fine.:wtf: From afx.h
// Standard constants #undef FALSE #undef TRUE #undef NULL #define FALSE 0 #define TRUE 1 #define NULL 0Gary
Hi Gary, I sit corrected. It is indeed I who has the compiler warning. I know that with VC++ 6 that would compile without warning. Your original code would be
bool bWillNeverHappen = 1;after preprocessing. C++ allows assigning anintto abooland doesn't complain. However, either of these would be more correct:BOOL bWillNeverHappen = TRUE; // BOOL is #typedef int bool bWillNeverHappen = true;Why have nits if you can't pick them? :laugh: BDF -
Hi Gary, I sit corrected. It is indeed I who has the compiler warning. I know that with VC++ 6 that would compile without warning. Your original code would be
bool bWillNeverHappen = 1;after preprocessing. C++ allows assigning anintto abooland doesn't complain. However, either of these would be more correct:BOOL bWillNeverHappen = TRUE; // BOOL is #typedef int bool bWillNeverHappen = true;Why have nits if you can't pick them? :laugh: BDFBig Daddy Farang wrote:
Why have nits if you can't pick them?
because lice are icky. :rolleyes:
-- You have to explain to them [VB coders] what you mean by "typed". their first response is likely to be something like, "Of course my code is typed. Do you think i magically project it onto the screen with the power of my mind?" --- John Simmons / outlaw programmer
-
Hi Gary, I sit corrected. It is indeed I who has the compiler warning. I know that with VC++ 6 that would compile without warning. Your original code would be
bool bWillNeverHappen = 1;after preprocessing. C++ allows assigning anintto abooland doesn't complain. However, either of these would be more correct:BOOL bWillNeverHappen = TRUE; // BOOL is #typedef int bool bWillNeverHappen = true;Why have nits if you can't pick them? :laugh: BDFBig Daddy Farang wrote:
Why have nits if you can't pick them?
Ah, and eat them! Some food for thought... X| But seriously, true is defined as NOT ZERO and false is defined as ZERO, no? so
bool nits = TRUE;andbool nits = 1;are correct and valid anyhow? It's been a while since I've used the CPM Borland C compiler... But this brings up a burning question regarding my EVC++ environment. MS generated code uses BOOL instead of bool. This takes a larger data storage area (32 bits to store a 1 or zero) which is not efficient. Is the trade off on storage space made up for in execution speed and or data alignment. I.e., is it faster to load registers with 32 bits rather than 8 bits (1 bit?). I know it is faster to load on an even boundary, but what if you are only loading one byte, not 4? Is there a penalty for padding the field with zeros or in loading 4 bytes instead of one? Anyone?:confused:Gary
-
Big Daddy Farang wrote:
Why have nits if you can't pick them?
Ah, and eat them! Some food for thought... X| But seriously, true is defined as NOT ZERO and false is defined as ZERO, no? so
bool nits = TRUE;andbool nits = 1;are correct and valid anyhow? It's been a while since I've used the CPM Borland C compiler... But this brings up a burning question regarding my EVC++ environment. MS generated code uses BOOL instead of bool. This takes a larger data storage area (32 bits to store a 1 or zero) which is not efficient. Is the trade off on storage space made up for in execution speed and or data alignment. I.e., is it faster to load registers with 32 bits rather than 8 bits (1 bit?). I know it is faster to load on an even boundary, but what if you are only loading one byte, not 4? Is there a penalty for padding the field with zeros or in loading 4 bytes instead of one? Anyone?:confused:Gary
ghle wrote:
true is defined as NOT ZERO and false is defined as ZERO, no?
Sort of, I guess you can think of them in those terms surely. From MSDN's C++ Language Reference: bool This keyword is a built-in type. A variable of this type can have values true and false. Conditional expressions have the type bool and so have values of type bool. For example, i!=0 now has true or false depending on the value of i. true This keyword is one of the two values for a variable of type bool or a conditional expression (a conditional expression is now a true boolean expression). false The keyword is one of the two values for a variable of type bool or a conditional expression (a conditional expression is now a true Boolean expression). So they don't come right out and say that but.... The C# Language Reference explains further: In C++, a value of type bool can be converted to a value of type int; in other words, false is equivalent to zero and true is equivalent to nonzero values. In C#, there is no conversion between the bool type and other types. For example, the following if statement is invalid in C#, while it is legal in C++:
int x = 123;
if (x) // Invalid in C#
{
printf("The value of x is nonzero.");
}ghle wrote:
MS generated code uses BOOL instead of bool.
I think this partly due to backwards compatibility with C language which does not have
boolbut usesBOOL. As for the questions in your last paragraph, I don't have to answer that.#define (don't have to) (can't)ghle wrote:
Anyone?
Bueller? BDF
-
ghle wrote:
true is defined as NOT ZERO and false is defined as ZERO, no?
Sort of, I guess you can think of them in those terms surely. From MSDN's C++ Language Reference: bool This keyword is a built-in type. A variable of this type can have values true and false. Conditional expressions have the type bool and so have values of type bool. For example, i!=0 now has true or false depending on the value of i. true This keyword is one of the two values for a variable of type bool or a conditional expression (a conditional expression is now a true boolean expression). false The keyword is one of the two values for a variable of type bool or a conditional expression (a conditional expression is now a true Boolean expression). So they don't come right out and say that but.... The C# Language Reference explains further: In C++, a value of type bool can be converted to a value of type int; in other words, false is equivalent to zero and true is equivalent to nonzero values. In C#, there is no conversion between the bool type and other types. For example, the following if statement is invalid in C#, while it is legal in C++:
int x = 123;
if (x) // Invalid in C#
{
printf("The value of x is nonzero.");
}ghle wrote:
MS generated code uses BOOL instead of bool.
I think this partly due to backwards compatibility with C language which does not have
boolbut usesBOOL. As for the questions in your last paragraph, I don't have to answer that.#define (don't have to) (can't)ghle wrote:
Anyone?
Bueller? BDF