Utilizing specification testing in review task trees for rigorous review of formal specifications

被引：0
|
作者：
Liu, SY [1 ]
机构：
[1] Hosei Univ, Dept Comp Sci, Fac Comp & Informat Sci, Tokyo, Japan
来源：
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Review Task Tree (RTT) is a, comprehensible notation for expressing review tasks in rigorous review of formal specifications. It has a mechanism for evaluating the final review result based on the review results of all the members (atomic tasks) of its minimal cutset. However, the notation does not provide any method for actually reviewing the atomic tasks. In this paper, we present a way to utilize a specification, testing method for rigorous review of the atomic tasks. Strategies for generating test cases for each kind of RTT are described and explained with, examples. A small case study is conducted using the proposed technique and the result is analyzed to show the benefit and the potential limitation of the technique.
引用
收藏
页码：510 / 519
页数：10
相关论文
共 37 条
  • [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 Framework for Formal Specification Considering Review and Specification-Based Testing
    Nakatsugawa, Yasumasa
    Kurita, Taro
    Araki, Keijiro
    [J]. TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 2444 - 2448
  • [3] A FRAMEWORK FOR INTEGRATING FORMAL SPECIFICATION, REVIEW, AND TESTING TO ENHANCE SOFTWARE RELIABILITY
    Liu, Shaoying
    Tamai, Tetsuo
    Nakajima, Shin
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011, 21 (02) : 259 - 288
  • [4] Validating Formal Specifications using Testing-Based Specification Animation
    Liu, Shaoying
    [J]. 2016 IEEE/ACM 4TH FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE), 2016, : 29 - 35
  • [5] An introduction to three perspectives on formal specification review
    Yao, JP
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 8 - 9
  • [6] A review on security requirements specification by formal methods
    Mishra, Aditya Dev
    Mustafa, Khurram
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (05):
  • [7] Rigorous review, tedious testing, and disciplined debug
    Fowler, K
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2001, 4 (04) : 52 - 54
  • [8] Specifications for Web Services testing: A Systematic Review
    Nabil, El Ioini
    [J]. 2015 IEEE World Congress on Services, 2015, : 152 - 159
  • [9] From Legal Contracts to Formal Specifications: A Systematic Literature Review
    Soavi M.
    Zeni N.
    Mylopoulos J.
    Mich L.
    [J]. SN Computer Science, 3 (5)
  • [10] Review and extension of fault class hierarchy for testing Boolean specification
    Chandra, Pravin
    Singh, R. K.
    Singh, Yogesh
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 52 (01) : 29 - 38
1234