摘要：提出一种提高航天软件测试效率的自动化测试方案,研究测发控软件的接口协议、提取测试需求及故障模式,设计可复用的测试用例,研制支持多种接口类型的自动化测试工具并把测试用例集成到工具中。经在多种测发控软件中验证可实现自动化测试并具有很强的可复用性。与人工测试相比,该方案可把接口测试的效率提高80%以上,节省了大量测试时间。

摘要：地层移动角参数对巨厚松散层矿井的建筑物保护煤柱尺寸影响很大，经济潜力十分巨大．目前我国绝大多数矿区，均采用一组松散层移动角参数整段设计留设建筑物保护煤柱的方法，该方法有时不尽合理．在淮北矿区巨厚松散层条件下，依据实测资料和土工实验结果，分析了土体性质随埋深的变化特征，论述了按土层埋深和沉积年代分段划分巨厚松散层移动角量参数的两种方法，并给出了淮北矿区相应的参考角量值．