以一種基于良構數學概念的符號體系來編制需求規約，則稱為_____________需求規約。
形式化
暫無解析
在銷售管理系統需求文檔中出現下列描述，屬于功能需求范疇的是（）
一組模塊共同引用一個全局數據項，則該組模塊間的耦合類型是（）
由于軟件錯誤的復雜性，在軟件工程測試中，應綜合運用測試技術，并且應實施合理的測試序列：單元測試、___________、有效性測試和系統測試。
在常見的軟件開發模型中，能體現軟件創建所固有的迭代和無間隙特征的是（）
典型的詳細設計工具有程序流程圖、盒圖、問題分析圖和____________。
