航天器自动化测试与航天器测试语言

摘要

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.