单项选择题 使用演绎法调试是从一般原理或前提出发，经过排除及（）来推导出结论。

单项选择题 引入了（）技术的超文本就称为超媒体。

单项选择题 使用自动工具的优点是（）。