Embedded real-time OS based software test and message based test of

• 基于嵌入式实时操作系统的软件测试和基于消息的分布式系统的测试