前置条件断言_软件工程_weiwei