News for hackers. Stuff that matters.
Re:Integer Overflow Bug in Boeing 787 Dreamliner by halayli on Saturday May 02, 2015 @02:54PM (#9478095)
Did you consider using dtrace for tracing?

Edit: Oops, misread the comment.

Re:Integer Overflow Bug in Boeing 787 Dreamliner by anderspitman on Saturday May 02, 2015 @03:09PM (#9478153)
Different type of tracing. I'm referring to textual tags which are used to associate a design requirement with a piece of code, the idea being that you can show a requirement is fulfilled by showing that it traces to tests and code, and that the existence of any piece of code needs to be justified by tracing back to the requirements.

http://en.wikipedia.org/wiki/Requirements_traceability

Re:Integer Overflow Bug in Boeing 787 Dreamliner by walterbell on Saturday May 02, 2015 @03:41PM (#9478276)
Borland's Caliber was once popular for requirements traceability, http://www.borland.com/Products/Requirements-Management/Cali...
Re:Integer Overflow Bug in Boeing 787 Dreamliner by anderspitman on Saturday May 02, 2015 @03:50PM (#9478309)
Caliber looks great. I can only hope they're using something like that nowadays. Of course it has the word "Agile" in it so it's probably about 10 years too young.
Re:Integer Overflow Bug in Boeing 787 Dreamliner by icegreentea on Saturday May 02, 2015 @03:06PM (#9478143)
Different type of tracing. This is basically tracing line items from a document to another set of line items on lower level documents, potentially all the way down to specific lines of source code.
Re:Integer Overflow Bug in Boeing 787 Dreamliner by anderspitman on Saturday May 02, 2015 @03:10PM (#9478158)
Jinx!