Design and Implementation of Spacecraft Automatic Test Language
摘要
太空船自动测试系统，基于各种各样的太空船测试，说明作为太空船测试语言形式化的一个全面太空船测试信息系统，是一个重要工具改进测试效率。与中国的多太空船测试的新要求，太空船测试语言的学习为太空船测试地成为新挑战。在这篇文章，一种高顺序的太空船测试语言，中国太空测试和操作语言(CATOL ) ，被给与当前的测试要求联系了；同时，语言的结构被介绍。然后为描绘并且形式化太空船过程，句法和子语言之一的运作的语义， CATOL-PR，被定义。最后，这的原型系统建议语言被介绍。这种语言将在中国和太空船测试者的效率改进太空船测试工作的说明，并且在太空船支持发展自动测试。
引用本文（GB/T 7714）
Yu Yu, Dan Dan, ± Ma, 等. Design and Implementation of Spacecraft Automatic Test Language[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2011.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。