针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、......

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提......