张红燕
- 作品数：2 被引量：2H指数：1
- 供职机构：华东理工大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于规格说明的可复用测试用例模型研究与应用
- 随着软件行业的迅速发展,软件规模变得越来越大,与此同时,软件的复杂程度也变得越来越高。软件的应用已经涉及到人类活动的各个领域,在航空、航天、能源、通信、交通、金融、军事等关键领域的应用也日益广泛。软件测试作为保证软件质量...
- 张红燕
- 关键词：软件测试可复用形式规格说明
- 基于形式化描述可复用测试用例库的研究与实现被引量：2
- 2010年
- 软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。
- 张红燕杨根兴蔡立志
- 关键词：形式化语言软件测试
