Intelligent Traceability Presented by: Auguste Lalande What are - - PowerPoint PPT Presentation
Domain-Contextualized Intelligent Traceability Presented by: Auguste Lalande What are trace links? Software development generates artifacts, such as regulatory documents , and system level requirement documents Trace links connect the
Presented by: Auguste Lalande
Software development generates artifacts, such as regulatory documents, and
system level requirement documents
Trace links connect the sections of these documents that correspond to the
same idea
Break down natural language requirement into its key parts
The Wayside Segment shall transmit Wayside Status Messages (WSMs) to the Automobile Segment. Action transmit Semantic Group Transmissive Properties Agent: wayside segment Theme: WSM Recipient: automobile segment
POS parse tree (Stanford Parser) Dependency set (Stanford Parser) Syntactic group
Group of verbs with similar syntactic
properties
Mapping rules
Given the verb transmit, the subject
corresponds to the agent property.
agent = nsubj = Wayside Segment
Dependency set dobj(transmit-5, Messages-8) nsubj(transmit-5, Segment-3) ⋮
Given two action units, should a link be made? Match the properties of two action units based on their semantic group
Different strictness levels of matching: 0 (least strict) to 3 (most strict) A domain specific ontology is used to allow for hierarchical matching and to
relate equivalent terms.
Affirmative-Inclusive Agent match level 0 Theme match level 2
Vector Space Model
Similar to Latent Semantic Indexing
Rank generated links
Do relevant links appear at the top of the ranked list? On average what percentage of irrelevant links are seen before
seeing a relevant one? 𝐵𝑄 = σ𝑠=1
𝑂
(𝑄𝑠𝑓𝑑𝑗𝑡𝑗𝑝𝑜 𝑠 × 𝑗𝑡𝑆𝑓𝑚𝑓𝑤𝑏𝑜𝑢 𝑠 ) 𝑆𝑓𝑚𝑓𝑤𝑏𝑜𝑢𝐸𝑝𝑑𝑣𝑛𝑓𝑜𝑢𝑡 𝑄𝑠𝑓𝑑𝑗𝑡𝑗𝑝𝑜 𝑠 = 𝑄𝑠𝑓𝑑𝑗𝑡𝑗𝑝𝑜 𝑝𝑔 𝑚𝑗𝑡𝑢 𝑣𝑞𝑢𝑝 𝑠 𝑗𝑡𝑆𝑓𝑚𝑓𝑤𝑏𝑜𝑢 𝑠 = ቊ1 𝑗𝑔 𝑠 𝑠𝑓𝑚𝑓𝑤𝑏𝑜𝑢 0 𝑝𝑢ℎ𝑓𝑠𝑥𝑗𝑡𝑓 𝑠 = 𝑆𝑏𝑜𝑙 𝑝𝑔 𝑢𝑏𝑠𝑓𝑢