（）支持对构件之间交互的形式化和分析。

[名词解释] 形式化的社会控制和非形式化的社会控制

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[单选题]以下现象中，（）是形式化的社会控制，（）是非形式化的社会控制。A . 法律、法规；道德、宗教B . 风俗习惯、道德；法律、宗教C . 军队、艺术；法庭、法律D . 条例、习惯；规程、时尚

[多选题] 静态测试是以人工的、非形式化的方法对程序进行分析和测试。常用的静态测试方法有（）。A .运行程序并分析运行结果B .桌前检查与代码会审C .数据流分析图D .调用图

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 一致性B. 可靠性C. 可判定性D. 完备性

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 可靠性B. 完备性C. 可判定性D. 一致性

为保证形式化系统的有效性，下面哪个选项不是形式化系统需要具有的性质（）A. 一致性B. 可判定性C. 可靠性D. 完备性

[判断题]美国研究生培养过程具有形式化、标准化和专门化。（　）A.对B.错