%0 Journal Article
%T Research of real-time test case generation method of trusted software<br>可信软件实时性测试用例集生成方法研究
%A CAI Qiong
%A LI Xing-guo
%A DING Shuai
%A <br>蔡琼
%A 李兴国
%A 丁帅
%J 计算机应用研究
%D 2009
%I 
%X 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.
%K TRSL
%K real-time
%K trusted software
%K test case<br>时间化RAISE规范语言
%K 实时性
%K 可信软件
%K 测试用例
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=5F491B2CB5BFFA49E84EDF07F4BF9BE4&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=B31275AF3241DB2D&sid=2A26A971E5A83BE2&eid=E7CA8C097E344C0D&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=7