实时系统自动选择性测试用例的生成方法

• Automatic and Selective Test Case Generating Method for Real Time System