对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。
无歧义的(或无二义的)、可跟踪的
暂无解析
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
单元测试期间，通常考虑模块的（）
CMMl能力等级中的4级是（）
典型的详细设计工具有程序流程图、盒图、问题分析图和____________。
