DocumentCode
555360
Title
Towards overcoming human analyst fallibility in the requirements tracing process: NIER track
Author
Cuddeback, David ; Dekhtyar, Alex ; Hayes, Jane Huffman ; Holden, Jeff ; Kong, Wei-Keat
fYear
2011
fDate
21-28 May 2011
Firstpage
860
Lastpage
863
Abstract
Our research group recently discovered that human analysts, when asked to validate candidate traceability matrices, produce predictably imperfect results, in some cases less accurate than the starting candidate matrices. This discovery radically changes our understanding of how to design a fast, accurate and certifiable tracing process that can be implemented as part of software assurance activities. We present our vision for the new approach to achieving this goal. Further, we posit that human fallibility may impact other software engineering activities involving decision support tools.
Keywords
formal specification; formal verification; program diagnostics; systems analysis; NIER track; certifiable tracing process; decision support tool; human analyst fallibility; requirement tracing process; software assurance activity; software engineering activity; Accuracy; Communities; Humans; Industries; Software; Software engineering; USA Councils; accuracy; software assurance; tools; traceability; tracing; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2011 33rd International Conference on
Conference_Location
Honolulu, HI
ISSN
0270-5257
Print_ISBN
978-1-4503-0445-0
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1145/1985793.1985925
Filename
6032537
Link To Document