Equipment Collaboration in General Test Languages of Safety Critical Syst
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61300007); State Key Laboratory of Software Development Environment Foundation (Beihang University) (SKLSDE-2015ZX-09, SKLSDE-2014ZX-06); National Key Technology Support Program (2013BAH46F00)

  • Article
  • | |
  • Metrics
  • |
  • Reference [21]
  • |
  • Related [20]
  • |
  • Cited by
  • | |
  • Comments
    Abstract:

    The trustworthiness of safety-critical systems(SCS) is very important.Assessing the trustworthiness mainly depends on data from test.In order to ensure the reliability and validity of test data, especially for such complex systems, manual testing is infeasible in practice.Development of test languages as effective way to implement automatic testing is inevitable trend for automatic testing of SCS.As in general test language for SCS, testing should be independent of specific equipment, including SCS(SCS under test) and test equipment.In the paper, the issues of equipment collaboration are discussed.Aiming at high order and real time characteristics of equipment collaboration during testing, types and expressions of equipment collaboration involved in test of SCS are proposed, and the syntax of statements of equipment collaboration is defined.Then by defining the evaluating rules of these equipment collaboration expressions, semantic rules of statements of equipment collaboration are specified, and related properties are proved to show the soundness of these semantic rules.This work demonstrates that the equipment collaboration is dynamic and open, and the test languages of SCS can be general.

    Reference
    [1] Lü JH, Ma SL, Li XJ, Gao SW. Formal semantics model for automatic test of safety critical systems. Ruan Jian Xue Bao/Journal of Software, 2014,25(3):489-505(in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4412.htm[doi:10.13328/j.cnki. jos.004412]
    [2] Lü JH, Ma SL, Li XJ, Song JG. A high order collaboration and real time formal model for automatic testing of safety critical systems. Frontiers of Computer Science, 2015,9(4):495-510.
    [3] Curbera F, Goland Y, Klein J, Leymann F, Roller D, Thatte S, Weerawarana S. Business process execution language for Web services. 2003. http://www.ibm.com/developerworks/library/ws-bpel/
    [4] Leymann F. Web services flow language(WSFL1.0). 2001. http://www.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
    [5] van Der Aalst WMP, Aldred L, Dumas M, ter Hofstede AHM. Design and implementation of the YAWL system. In:Proc. of the 16th Int'l Conf. on Advanced Information Systems Engineering. Berlin, Heidelberg:Springer-Verlag, 2004. 142-159.
    [6] Krishnan S, Wagstrom P, von Laszew ski G. GSFL:A workflow framework for grid services 2002. http://www-unix.globus.org/cog/papers/gsf-lpaper.pdf
    [7] Chen F, Rong XH, Deng P, Ma SL. A survey of device collaboration technology and system software. Acta Electronica Sinica, 2011, 39(2):440-447(in Chinese with English abstract).
    [8] Chen F, Rong XH, Deng P. A large-scale device collaborative process design meta-model and case study. In:Proc. of the 2nd Int'l Conf. on Advanced Computer Theory and Engineer. New York:ASME, 2009. 601-608.
    [9] Chen WW, Ma SL. EDRM:A unified approach for enterprise data resource management. Int'l Journal of Computer Science and Network Security, 2007,7(1):119-126.
    [10] Landin PJ. The mechanical evaluation of expressions. Computer Journal, 1964,6(4):308-320.
    [11] Li W, Ma SL. Limits of theory sequences over algebraically closed fields and applications. Discrete Applied Mathematics, 2004, 136(1):23-43.
    [12] Mcmullen D, Reichherzer T. Identity and functionality in the common instrument middleware architecture. Applied Ontology, 2006, 3:928-942.
    [13] Kawsar F, Nakajima T, Park JH, Jeong YS. A document based framework for smart object systems. In:Proc. of the 2nd Int'l Conf. on Future Generation Communication and Networking(FGCN 2008). IEEE, 2008. 178-183.
    [14] Kawsar F, Fujinami K, Nakajima T. Prottoy middleware platform for smart object systems. Int'l Journal of Smart Home, 2008,2(3):1-18.
    [15] Consortium E. ECHONET Specification ver. 2.11 Part I. ECHONET Overview, 2002.
    [16] Chen C, Helal A. Device integration in SODA using the device description language. In:Proc. of the 9th Annual Int'l Symp. on Applications and the Internet(SAINT 2009). IEEE, 2009. 100-106.
    [17] Pierce BC, Wrote; Ma SL, Sui YF, et al., Trans. Types and Programming Languages. Beijing:Electronic Industry Press, 2005(in Chinese).
    附中文参考文献:
    [1] 吕江花,马世龙,李先军,高世伟.安全苛刻系统自动化测试的形式化语义模型.软件学报,2014,25(3):489-505. http://www.jos.org. cn/1000-9825/4412.htm[doi:10.13328/j.cnki.jos.004412]
    [7] 陈峰,荣晓慧,邓攀,马世龙.设备协同技术及其系统软件研究综述.电子学报,2011,39(2):440-447.
    [17] Pierce BC,著;马世龙,眭跃飞,等译.类型和程序设计语言.北京:电子工业出版社,2005.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

吕江花,高世伟,马世龙,孙波,李先军.安全苛刻系统测试语言中的测试设备协同语句.软件学报,2016,27(3):562-579

Copy
Share
Article Metrics
  • Abstract:4581
  • PDF: 6521
  • HTML: 2386
  • Cited by: 0
History
  • Received:July 14,2015
  • Revised:October 20,2015
  • Online: January 06,2016
You are the first2041544Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063