下列软件测试技术中，依据软件行为描述的是（）
C
暂无解析
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
单元测试期间，通常考虑模块的（）
软件测试是一个有程序的过程，包括_________、测试执行以及测试结果比较等。
简述软件工程与软件危机的概念以及提出软件工程概念的目的。
瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。