Formal semantics model for automatic test of safety critical systems

被引：0
|
作者：
Lü, Jiang-Hua [1 ]
Ma, Shi-Long [1 ]
Li, Xian-Jun [1 ]
Gao, Shi-Wei [1 ]
机构：
[1] Lü, Jiang-Hua
[2] Ma, Shi-Long
[3] Li, Xian-Jun
[4] Gao, Shi-Wei
来源：
Lü, J.-H. (jhlv@nlsde.buaa.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 25期
关键词：
Calculations;
D O I：
10.13328/j.cnki.jos.004412
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：489 / 505
相关论文
共 50 条
  • [41] Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
    Liu, Xiao
    Wang, Shuai
    Wang, Pei
    Wu, Dinghao
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET), 2019, : 126 - 137
  • [42] TTCN: Towards a formal semantics and validation of test suites
    Kristoffersen, F
    Walter, T
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 15 - 47
  • [43] A FORMAL SEMANTICS FOR CONCURRENT SYSTEMS WITH A PRIORITY RELATION
    JANICKI, R
    ACTA INFORMATICA, 1987, 24 (01) : 33 - 55
  • [44] 8.3.2 A Formal Universal Systems Semantics for SysML
    Hamilton, Margaret H.
    Hackler, William R.
    INCOSE International Symposium, 2007, 17 (01) : 1333 - 1357
  • [45] FORMAL SEMANTICS FOR RULE-BASED SYSTEMS
    MURRELL, S
    PLANT, R
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 29 (03) : 251 - 259
  • [46] Test Automation of Safety-Critical Reactive Systems
    Peleska, J.
    Siegel, M.
    South African Computer Journal, (19):
  • [47] The Safety-Critical Java']Java Mission Model: A Formal Account
    Zeyda, Frank
    Cavalcanti, Ana
    Wellings, Andy
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 49 - 65
  • [48] From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications
    Stolzenburg, F
    Arai, T
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2003, 2831 : 131 - 143
  • [49] Formal model-driven engineering of critical information systems
    Davies, Jim
    Milward, David
    Wang, Chen-Wei
    Welch, James
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 103 : 88 - 113
  • [50] A formal semantics for the Taverna 2 workflow model
    Sroka, Jacek
    Hidders, Jan
    Missier, Paolo
    Goble, Carole
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (06) : 490 - 508
12345