在代数系统(N，+)中，其单位元是0，仅有有逆元。

如果连通平面图G有n个顶点，e条边，则G有个面。

以一种基于良构数学概念的符号体系来编制需求规约，则称为需求规约。

结构化分析方法给出了一种能表达系统功能模型的图形化工具是。

如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是。

在一个软件结构中，同一个层次上模块总数的最大值是该结构的。

典型的详细设计工具有程序流程图、盒图、问题分析图和。

关联一端的类目对另一端的类目的一种呈现，称为。

由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、、有效性测试和系统测试。

软件测试是一个有程序的过程，包括、测试执行以及测试结果比较等。