人生智慧的博客

场景1：可追踪性的生成可追踪性的生成是指在已知的需求和代码元素集合之间建立功能上的关联关系场景2：可追踪性的维护可追踪性的维护是指当系统演化、需求和代码中的元素发生变化时，对已知的可追踪线索进行维护和更新场景3：可追踪性的验证可追踪性的验证是指如何对已知追踪线索集合的质量进行验证和修复...

难点1：不同类型的软件制品处于不同的抽象层次，且具有不同的数据格式，因此如何从不同的软件制品中抽取有用的信息，从而既精确又全面的在软件系统中实现可追踪性是困难的。难点2：不同的软件可追踪性应用场景，对可追踪性分析的要求也是不同的，因此某种自动化分析技术难以直接应用到不同的应用场景中...

1概念指派概念指派问题主要包含以下三点（1）人脑概念通过特定领域内的知识来描述软件系统中的功能，其语义载体是非形式化的自然语言Ｗ及约定俗成的领域知识，其推理方式是似真的（plausible）、模糊的（fuzzy）。（2）程序通过数值计算和数据操纵来实现软件系统的运行时行为，其语义载体是编程语言的语法和语义，Ｗ及程序中的控制流和数据流，其推理方式是可推导的（deductive）、可演

r:表示需求c:表示代码（类、函数等）simTrace(r,c)：自动化的计算r和c之间的置信度阙值：就是选择一个置信度作为阙值，选择比这个阙值大的建立追踪关系，但是，很难为每一个系统选择一个最优的阙值。一般不采用阙值。候选追踪线索L:是由simTrace计算出来按照置信度由大到小排序的追踪线索排序位：用户不用去遍历真个候选列表，而是选择前N个去判断，追踪生成了追踪线索集合T1，查全率（recal...