单项选择题
A．对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B．形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C．净室软件工程将正确性验证作为发现和排除错误的主要机制 D．净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
A．尽量将一些需要扩展的类或者存在变化的类设计为抽象类或者接口，并将其作为基类，在程序中尽量使用基类对象进行编程 B．创建一个新的抽象类C，作为两个具体类的超类，将A和B共同的行为移动到C中，从而解决A和B行为不完全一致的问题 C．将B到A的继承关系改成组合关系 D．区分是“Is-a”还是“Has-a”。如果是Is-a，可以使用继承关系，如果是 Has-a，应该改成组合或聚合关系
A．需求分析 B．风险分析 C．系统设计 D．架构设计