版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/A1342772/article/details/79789170
1概念指派
概念指派问题主要包含以下三点
（1）人脑概念通过特定领域内的知识来描述软件系统中的功能，其语义载体是非形式化的自然语言Ｗ及约定俗成的领域知识，其推理方式是似真的（plausible）、模糊的（fuzzy）。
（2）程序通过数值计算和数据操纵来实现软件系统的运行时行为，其语义载体是编程语言的语法和语义，Ｗ及程序中的控制流和数据流，其推理方式是可推导的（deductive）、可演算的（algorithmic）。
（3）显然，人脑概念和程序处于完全不同的概念层次，具有截然不同的数据格式和推理方式，因此将两者关联起来，特别是通过自动化分析的方式，是非常困难的。
2，需求追踪中的概念指派
在软件可追踪性中，需求等抽象层次较高的软件制品可被看作是概念指派中的人脑概念，而实现层的代码可被看作是概念指派中的程序概念。其实，需求追踪的主要难点就是从非形式化的自然语言追踪到形式化的代码。