Towards Intelligence Augmented Software Traceability Jin L.C. Guo - PowerPoint PPT Presentation

Towards Intelligence Augmented Software Traceability Jin L.C. Guo School of Computer Science McGill University

Analysis Design Implementation R 1 : T h e H ig h w a y W a y s id e S e g m e n t s h a ll m o n ito r s ig n a l d a ta R 2 : T h e B O S s h a ll s e n d m e s s a g e s in th e o r d e r p r o v id e d b y th e S e q u e n c e R 2 : T h e B O S s h a ll s e n d m e s s a g e s in N u m b e r a s s o c ia te d w ith a s u b d iv is io n .. th e o r d e r p r o v id e d b y th e S e q u e n c e N u m b e r a s s o c ia te d w ith a s u b d iv is io n .. R 3 : T h e B O S s h a ll s e t th e M e s s a g e …… …… S o u r c e fie ld in a C S X R a ilr o a d S y s te m s R 3 : T h e B O S s h a ll s e t th e M e s s a g e m e s s a g e S o u r c e fie ld in a C S X R a ilr o a d S y s te m s m e s s a g e ... ... … ... ... ... … ... R 4 5 9 : T h e B O S s h a ll s u p p o r t a t ... ... ... ... m in im u m tw o in te r fa c e v e r s io n s a s R 4 5 9 : T h e B O S s h a ll s u p p o r t a t d e fin e d b y C S X IC D . m in im u m tw o in te r fa c e v e r s io n s a s d e fin e d b y C S X IC D . Requirement Design Source Code Page 2

Page 3 Program Comprehension Code Inspection R 2: The B O S shall send m essages in the order provided by the Sequence N um ber associated R 2: The B O S shall send m essages w ith a subdivision.. in the order provided by the Sequence N um ber associated R 2: The B O S shall send m essages R 1: The H ighw ay W ayside w ith a subdivision.. Sequence N in the order provided by the um ber associated R 3: The B O S shall set the M Segm ent shall m essage onitor signal data R 2: The B O S shall send m essages w ith a subdivision.. System Source field in a CSX s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage R 2: The B O S shall send m essages w ith a subdivision.. Source field in a CSX System s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage ... ... w ith a subdivision.. Source field in a CSX System s m essage R ailroad R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... ... ... R 459: The B O S shall support at … ... as defined by CSX m inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at as defined by CSX m inim um tw o interface versions ICD . R 459: The B O S shall support at m as defined by CSX inim um tw o interface versions ICD . Design Requirement R 2: The B O S shall send m essages in the order provided by the Sequence N um ber associated R 2: The B O S shall send m essages w ith a subdivision.. Sequence N in the order provided by the um ber associated R 2: The B O S shall send m essages R 1: The H ighw ay W ayside w ith a subdivision.. in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M Segm ent shall m essage onitor signal data R 2: The B O S shall send m essages w ith a subdivision.. System Source field in a CSX s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage R 2: The B O S shall send m essages w ith a subdivision.. Source field in a CSX System s m essage R ailroad Sequence N in the order provided by the um ber associated R 3: The B O S shall set the M essage ... ... w ith a subdivision.. Source field in a CSX System s m essage R ailroad R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... ... ... R 459: The B O S shall support at … ... as defined by CSX m inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at … ... ... ... as defined by CSX m inim um tw o interface versions ICD . R 459: The B O S shall support at m as defined by CSX inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at m as defined by CSX inim um tw o interface versions ICD . Source Code Test Cases

Page 4 R 2: The B O S shall send m essages Sequence N in the order provided by the um ber associated R 2: The B O S shall send m essages w ith a subdivision.. Sequence N in the order provided by the um ber associated R 2: The B O S shall send m essages R 1: The H ighw ay W ayside w ith a subdivision.. in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M Segm ent shall m essage onitor signal data R 2: The B O S shall send m essages w ith a subdivision.. System Source field in a CSX s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage R 2: The B O S shall send m essages Requirement w ith a subdivision.. System Source field in a CSX s m essage R ailroad Sequence N in the order provided by the um ber associated R 3: The B O S shall set the M essage ... ... w ith a subdivision.. System Source field in a CSX s m essage R ailroad R 3: The B O S shall set the M essage ... ... System Source field in a CSX s m essage R ailroad … ... R 3: The B O S shall set the M essage ... ... System Source field in a CSX s m essage R ailroad … ... ... ... R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at Coverage … ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at m as defined by CSX inim um tw o interface versions ICD . Design Analysis Requirement Regression T est Selection Impact Analysis R 2: The B O S shall send m essages Sequence N in the order provided by the um ber associated R 2: The B O S shall send m essages w ith a subdivision.. in the order provided by the Sequence N um ber associated R 2: The B O S shall send m essages R 1: The H ighw ay W ayside w ith a subdivision.. in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M Segm ent shall m essage onitor signal data R 2: The B O S shall send m essages w ith a subdivision.. Source field in a CSX System s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage R 2: The B O S shall send m essages w ith a subdivision.. System Source field in a CSX s m essage R ailroad in the order provided by the Sequence N um ber associated R 3: The B O S shall set the M essage Maintenance ... ... w ith a subdivision.. System Source field in a CSX s m essage R ailroad R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... R 3: The B O S shall set the M essage ... ... Source field in a CSX System s m essage R ailroad … ... ... ... R 459: The B O S shall support at … ... m as defined by CSX inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at … ... as defined by CSX m inim um tw o interface versions ICD . R 459: The B O S shall support at … ... ... ... m as defined by CSX inim um tw o interface versions ICD . R 459: The B O S shall support at as defined by CSX m inim um tw o interface versions ICD . ... ... R 459: The B O S shall support at Evolution m as defined by CSX inim um tw o interface versions ICD . Source Code Test Cases