软件可测试性是指软件在特定的输入分布下进行随机黑盒测试时,暴露故障的能力。软件的可测试性是衡量软件测试难易程度的一个重要指标,在测试的过程中可以指导测试进行的深度,确保测试资源进行合理分配。而语义信息在软件的可测试性度量方面有着重要的作用,通过对语义信息的计算可以从某种程度上衡量软件可测试性的好坏。本文在研究了大量的文献资料的基础上,建立了软件的可测试性与语义信息之间的联系。本文首先介绍了软件的可测试性以及影响可测试性的因素,然后对目前所存在的度量软件可测试性的几种主要方法进行分析比较,在此基础上提出了一种新的度量软件可测试性的方法——基于语义错误大小的软件可测试性度量方法;接着在研究了硬件可测试性度量指标的基础上,并结合软件测试本身的特点,提出了两个新的衡量软件可测试性的指标:错误易检测性和错误可定位性;然后介绍了计算这两个指标的关键技术,也就是程序语义的计算,并且对其中的一种计算程序语义的方法——输入输出依赖关系法进行了改进,弥补了该方法对指针的处理不够精确的缺点,提高了计算的精度。最后,本文提出了一个“软件语义计算系统”的原型系统设计框架。该系统一方面可以针对同一个软件新旧两个不同的版本,产生这两个版本之间的差异程序;另一方面可以针对程序语句中的某个变量,产生与该变量语义相关的所有语句集合。利用该系统的这两个结果,我们就可以计算关于可测试性的新的度量指标。