软件验收测试包括：正式验收测试，alpha测试，（）。