软件测试是软件质量保证工程的一个重要组成部分,也是最重要的质量保证手段。为了保证所提交的软件产品能够满足客户的需求,以及在使用中的可靠性,就必须对所开发的软件产品进行系统而全面的测试。基于这一需求,软件测试作为软件开发过程中的一个重要阶段,受到了软件开发组织的普遍重视,并形成了一整套比较成熟的测试理论和技术方法。软件测试不仅要能够识别软件产品的缺陷并加以改正,还应该结合统计技术方法,给出对软件开发过程的度量,从而支持组织对软件开发过程的评估和改进。
清华天安一直致力于软件测试平台的研究与开发,不断地吸取国外先进的测试技术,同时也加强同国内同行业的合作,目前已开发出一套智能化软件测试工具(ITDG),它以面向路径的测试数据自动生成器为核心,将用户的测试需求自动转化成为指定程序路径W自动生成测试数据的问题,然后自动求解该问题并生成测试报告。它具有强大的功能:用户只要指定需要达到的测试点,本工具就能自动寻找能够达到该测试点的测试数据。它的适用范围广,既能够用于传统的软件测试,又能够用于面向对象软件的测试;能用于白盒测试、黑盒测试、面向断言的测试、回归测试、集成测试、确认测试和系统测试等。产品技术自主,具备国内领先水平,可改变我国软件测试行业长期依赖国外产品的局面,并推动我国软件测试行业的发展。 |