形式化方法在CSTA系统测试中的应用研究

• 作者: 周红梅 游红俊 程胜利 陈先桥
• 来源期刊: 计算机测量与控制
• 关键词: 形式化方法 系统测试 CSTA 外包
• 年，卷（期）: 2004,（8）
• 所属期刊栏目: 自动化测试
• 页码范围: 714-716,725
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4598.2004.08.005

摘要

系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程胜利	武汉理工大学计算机科学与技术学院	14	97	7.0	9.0
2	陈先桥	武汉理工大学计算机科学与技术学院	61	389	11.0	16.0
3	周红梅	武汉理工大学交通学院	19	224	5.0	14.0
4	游红俊		3	16	3.0	3.0