软件概要设计,可测试性,可验证性,模块化设计,单元测试,自动化测试,接口设计