单项选择题 （）和动态绑定机制是面向对象实现的主要手段。

单项选择题 在用户的应用环境之下，用户通过运行和使用软件，检测与核实软件实现的功能是否符合预期的要求，这种测试是（）

单项选择题 （）法是穷举路径测试。