上游充鱼大姿 SJTU School Of Software 2009-2-3 Why? 必 The current development methods of software are: Depend on people's intelligence Specification is informal or even chaos > Software development tools are not self- contained > Software development process is elective and without standards on detail 在当前的软件开发方法学指导下开发软件，软件 测试仍是保证软件质量和可靠性的重要手段。 软件学院SJTU School Of Software 2009-2-3 软件学院 Why? ™ The current development methods of software are: ¾ Depend on people’s intelligence ¾ Specification is informal or even chaos ¾ Software development tools are not self￾contained ¾ Software development process is elective and without standards on detail 在当前的软件开发方法学指导下开发软件，软件 测试仍是保证软件质量和可靠性的重要手段