Research of real-time test case generation method of trusted software
可信软件实时性测试用例集生成方法研究

This paper provided an approach to derive RTTC from TRSL specification,which was a variant of RSL(RAISE specification language).Firstly,removed abstract time factors from software specification,which was depicted by TRSL.Se-condly,applied partition analysis to generate test data.Then used improvement of OGT algorithm to generate constructive term(CT) and observable term(OT),which had time constraint.Finally,constructed complete real-time test case based on TRSL specification.