A rigorous approach to reviewing formal specifications

被引：0
|
作者：
Liu, SY [1 ]
机构：
[1] Hosei Univ, Fac Comp & Informat Sci, Dept Comp Sci, Tokyo, Japan
来源：
27TH ANNUAL NASA GODDARD/IEEE SOFTWARE ENGINEERING WORKSHOP - PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/SEW.2002.1199452
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
I put forward a new approach to rigorously reviewing formal specifications to ensure their internal consistency and validity. This approach includes four steps: (1) deriving properties as review targets based on the syntax and semantics of the specification, (2) building a review task tree to present all the necessary review tasks for each property, (3) carrying out reviews based on the review task tree, and (4) analyzing the review results to determine whether faults are detected or not. I apply this technique to the SOFL specification language, which is an integrated formalism of VDM, Petri Nets, and Data Flow Diagrams to discuss how each step is performed.
引用
收藏
页码：75 / 81
页数：7
相关论文
共 50 条
  • [1] An automated rigorous review method for verifying and validating formal specifications
    Liu, SY
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 15 - 19
  • [2] A Rigorous Method for Inspection of Model-Based Formal Specifications
    Liu, Shaoying
    McDermid, John A.
    Chen, Yuting
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2010, 59 (04) : 667 - 684
  • [3] Formal approach to specifications in conceptual design
    Kusiak, A.
    Szczerbicki, E.
    [J]. Journal of Mechanical Design - Transactions of the ASME, 1992, 114 (04): : 659 - 666
  • [4] AN INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS
    FURTADO, AL
    MAIBAUM, TSE
    [J]. COMPUTER JOURNAL, 1985, 28 (01): : 59 - 67
  • [5] A FORMAL APPROACH TO SPECIFICATIONS IN CONCEPTUAL DESIGN
    KUSIAK, A
    SZCZERBICKI, E
    [J]. JOURNAL OF MECHANICAL DESIGN, 1992, 114 (04) : 659 - 666
  • [6] A formal approach to testing LUSTRE specifications
    Parissis, I
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 91 - 100
  • [7] Utilizing specification testing in review task trees for rigorous review of formal specifications
    Liu, SY
    [J]. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 510 - 519
  • [8] A formal approach to rigorous development of critical systems
    Singh, Neeraj Kumar
    Lawford, Mark
    Maibaum, Thomas S. E.
    Wassyng, Alan
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (04)
  • [9] INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS.
    Furtado, A.L.
    Maibaum, T.S.E.
    [J]. 1600, (28):
  • [10] A simulation approach to verification and validation of formal specifications
    Liu, SY
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 113 - 120
12345