软件自动化测试的发展及问题研究