单项选择题
结构化分析方法(SA)、结构化设计方法(SD)和Jackson方法是在软件开发过程中常用的方法。人们使用SA方法时可以得到 (34) ，这种方法采用的基本手段是 (35) ；使用SD方法时可以得到 (36) ，并可以实现 (37) ，而使用Jackson方法可以实现 (38) 。
A．分解与抽象 B．分解与综合 C．归纳与推导 D．试探与回溯
A．功能性 B．顺序性 C．通信性 D．过程性 E．偶然性 F．瞬时性 G．逻辑性
A．评价软件的质量 B．发现软件的错误 C．发现软件的错误 D．证明软件是正确的