包邮航天器自动化测试语言及系统

**篇 航天器自动化测试系统
  第1章 航天器自动化测试
    1.1 航天器测试
    1.2 航天器自动化测试系统
    1.3 航天器自动化测试系统的发展
  第2章 基于先进计算和网络技术的航天器自动化测试系统
    2.1 abbet
    2.2 中间件技术
    2.3 soa技术
    2.4 新一代网络化航天器自动化测试系统框架
    参考文献
第二篇 航天器测试语言及其发展
  第3章 面向测试过程的国外航天器测试语言研究
    3.1 etol
    3.2 stol