[1] Abdeslam E,Rachida D,Ferhat K.Timed Wp-method:testing real-time systems[J].IEEE Transactions on Software Engineering,2002,28(11):1023-1038. [2] Moez K,Stavros T.Conformance testing for real-time systems[J].Formal Methods in Systems Design,2009,34(3):238-304. [3] Constant C,Thierry J,Marchand H.Integration formal verification and conformance testing for reactive system[J].IEEE Transactions on Software Engineering,2007,33(8):558-574. [4] 胡宇,吴建平,等.PPP一致性测试研究[J].电子学报,2002,30(8):1242-1245. HU Yu,WU Jian-ping,et al.PPP conformance testing research[J].Acta Electronica Sinica,2002,30(8):1242-1245.(in Chinese) [5] 陈伟,薛志云,赵琛,李明树.一种基于时间自动机的实时系统测试方法[J].软件学报,2007,18(1):62-73. CHEN Wei,XUE Yun-Zhi,ZHAO Chen,LI Ming-Shu.A method for testing real-time system based on timed automata[J].Journal of Sofware,2007,18(1):62-73. [6] Rachel C O,Tim G.A practical and complete algorithm for testing real-time systems[A].Proc of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems[C].Berlin:Springer-Verlag Press,1998.251-261. [7] Styp S V,Bohnenkamp H,Schmaltz J.A conformance testing relation for symbolic timed automata[A].Lecture Notes in Computer Science[C].Berlin:Springer-Verlag Press,2010.243-255. [8] 李书浩,王戟,齐治昌.一种面向性质的实时系统测试方法[J].电子学报,2005,33(5):827-834. LI Shu-hao,WANG Ji,QI Zhi-chang.An approach to property-oriented testing of real-time systems[J].Acta Electronica Sinica,2005,33(5):827-834.(in Chinese) [9] Adjir N,Pierre S S,Kamel M R.Time optimal real-time test case generation using prioritized time petri net[J].Proceedings of First International Conference on Advances in System Testing and Validation Lifecycle[C].New York:IEEE Press,2009.110-116. [10] Krichen M,Tripakis S.State identification problems for timed automata[A].Proceedings of the 17th International Conference on Testing of Communicating Systems[C].Berlin:Springer-Verlag Press,2005.175-191. [11] Khoumsi M.Complete test graph synthesis for symbolic real-time systems[J].Electronic Notes in Theoretical Computer Science,2005,30(5):79-100. [12] Thierry J.Symbolic model-based test selection[J].Electronic Notes in Theoretical Computer Science,2009,240(7):167-184. [13] ISO/IEC.Information Technology,Open Systems Interconnection,Conformance Testing Methodology and Framework[S].ISO/IEC 9646,1991. [14] 王之梁,尹霞,景传明.一种形式化的实时协议互操作性测试方法[J].中国科学E辑,2008,38(10):1614-1635. [15] King J C.Symbolic execution and program testing[J].Communications of the ACM,1976,19(7):385-394. [16] Gaston C,Gall P L,Rapin N,Touil A.Symbolic execution techniques for test purpose definition[A].Lecture Notes in Computer Science[C].Berlin:Springer-Verlag Press,2006.1-18. [17] Andrade W L,Machado P D L,Thierry J.Abstracting time and data for conformance testing of real time systems[A].The 4th Internal Conference on Software Testing,Verification and Validation Workshop[C].New York:IEEE Press,2011.9-17. [18] Elisabeth J,Martin W,et al.When BDDs fail:conformance testing with symbolic execution and SMT solving[A].The 3rd International Conference on Software Testing,Verification and Validation Workshop[C].New York:IEEE Press,2010.479-488. |