%0 Journal Article
%T A Method for Testing Real-Time System Based on Timed Automata<br>一种基于时间自动机的实时系统测试方法
%A CHEN Wei
%A XUE Yun-Zhi
%A ZHAO Chen
%A LI Ming-Shu
%A <br>陈伟
%A 薛云志
%A 赵琛
%A 李明树
%J 软件学报
%D 2007
%I 
%X This paper provides an approach to test real-time systems modeled by timed input/output automata (TSIOA), which is a variant of TA (timed automata). This method consists of three steps. Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS (labeled transition system) are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.
%K timed safety input/output automata
%K real-time system testing
%K minimized stable label transition graph of symbolic state
%K test cases generation<br>时间安全输入/输出自动机
%K 实时系统测试
%K 最简稳定符号状态迁移图
%K 测试用例生成
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=28FC87F8B048B5A8&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=CA4FD0336C81A37A&sid=95D537AC89B28832&eid=B9704B40A4225A24&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=31