下面哪个选项，满足基于规格说明的测试技术的特点？（）

A. - 使用正式或者非正式的模型来描述需要解决的问题、软件或者其组件等； - 根据这些模型，可以系统地导出测试用例；
B.  - 使用正式或者非正式的模型来描述需要解决的问题、软件或者其组件等； - 可以通过已有的测试用例测量软件的测试覆盖率，并通过系统化的导出设计用例来提高覆 盖率；
C. - 可以通过已有的测试用例测量软件的测试覆盖率，并通过系统化的导出设计用例来提高覆盖率； - 根据软件的结构信息设计测试用例，比如软件代码和详细设计信息；
D. - 测试人员、开发人员、用户和其他的利益相关者对软件、软件使用和环境等方面所掌握的 知识作为信息来源之一； - 使用正式或者非正式的模型来描述需要解决的问题、软件或者其组件等。