以下是10个测试用例及其说明：
测试用例名称：查询起点和终点站不在同一条地铁线上
测试步骤：输入起点站和终点站，检查程序返回的路线不应该经过同一条地铁线
测试预期结果：程序返回正确的路线
测试用例名称：查询起点和终点站相同
测试步骤：输入起点站和终点站相同，检查程序是否能够检测到相同的站点，并返回相应的错误信息
测试预期结果：程序应该返回错误信息
测试用例名称：查询一个不存在的站点
测试步骤：输入一个不存在的地铁站点，检查程序是否能够检测到错误输入并返回相应的错误信息
测试预期结果：程序应该返回错误信息
测试用例名称：选择最快路径选项
测试步骤：选择最快路径选项，输入起点站和终点站，检查程序返回的路线应该是最快的
测试预期结果：程序返回正确的路线
测试用例名称：选择最少换乘路径选项
测试步骤：选择最少换乘路径选项，输入起点站和终点站，检查程序返回的路线应该是最少换乘的
测试预期结果：程序返回正确的路线
测试用例名称：选择最便宜路径选项
测试步骤：选择最便宜路径选项，输入起点站和终点站，检查程序返回的路线应该是最便宜的
测试预期结果：程序返回正确的路线
测试用例名称：查询两个站点之间的距离
测试步骤：输入两个站点，检查程序返回的距离应该是两站点之间的距离
测试预期结果：程序返回正确的距离
测试用例名称：查询某一线路的所有站点
测试步骤：输入地铁线路的名称，检查程序返回的所有站点应该在同一条地铁线路上
测试预期结果：程序返回正确的站点列表
测试用例名称：查询地铁线路的始发站和终点站
测试步骤：输入地铁线路的名称，检查程序返回的起点站和终点站应该和实际的地铁线路一致
测试预期结果：程序返回正确的始发站和终点站
测试用例名称：查询地铁线路的运行时间
测试步骤：输入地铁线路的名称，检查程序返回的运行时间应该和实际的地铁线路一致
测试预期结果：程序返回正确的运行时间
程序正确性可以通过多方面来确认，例如代码审查、单元测试、综合测试等。在单元测试中，我们可以针对每个模块编写测试用例来检查模块的正确性。在综合测试中，我们需要将多个模块组合在一起来测试整个程序的正确性，并检查与实际结果是否一致。测试用例的设计应涵盖不同情况和边界情况，从而尽可能地覆盖程序的所有可能行为，从而保证程序的正确性和稳定性。同时，进行代码审查和记录更多的测试用例也能有效提高软件的质量。