10.3969/j.issn.1671-4598.2004.08.005
形式化方法在CSTA系统测试中的应用研究
系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据.
形式化方法、系统测试、CSTA、外包
12
TP311(计算技术、计算机技术)
2004-09-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
714-716,725