A Framework for Formal Specification Considering Review and Specification-Based Testing

被引：1
|
作者：
Nakatsugawa, Yasumasa [1 ]
Kurita, Taro [1 ]
Araki, Keijiro [2 ]
机构：
[1] SONY Corp, Shinagawa Ku, 1-11-1 Osaki, Tokyo 1410032, Japan
[2] Kyushu Univ, Grad Sch Informat Sci & Elect Engn, Nishi Ku, Fukuoka 8190395, Japan
来源：
TENCON 2010: 2010 IEEE REGION 10 CONFERENCE | 2010年
关键词：
10-COMMANDMENTS;
D O I：
10.1109/TENCON.2010.5685922
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A specification described by a formal specification language is required readability and executability depending on its use cases. As use cases, a specification is used for a validation by reviewing, for test case design to verify a product and for test script verification. This paper introduces and examines a description framework for an interface specification. It discusses the implementation of the framework and the effectiveness of applying a labeling feature to our description framework.
引用
下载
收藏
页码：2444 / 2448
页数：5
相关论文
共 50 条
  • [21] Specification-based Testing for Software Product Lines
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 149 - +
  • [22] Specification-Based Autonomous Driving System Testing
    Zhou, Yuan
    Sun, Yang
    Tang, Yun
    Chen, Yuqi
    Sun, Jun
    Poskitt, Christopher M. M.
    Liu, Yang
    Yang, Zijiang
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (06) : 3391 - 3410
  • [23] On the order of test goals in specification-based testing
    Fraser, Gordon
    Gargantini, Angelo
    Wotawa, Franz
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (06): : 472 - 490
  • [24] Editorial: Special issue on specification-based testing
    Hierons, R
    Derrick, J
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (04): : 201 - 202
  • [25] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    IEEE ACCESS, 2022, 10 : 24955 - 24975
  • [26] An approach to formalizing specification-based class testing
    缪淮扣
    刘玲
    Advances in Manufacturing, 2006, (01) : 25 - 32
  • [27] Comparison of fault classes in specification-based testing
    Okun, V
    Black, PE
    Yesha, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (08) : 525 - 533
  • [28] Automated Specification-Based Testing of REST APIs
    Banias, Ovidiu
    Florea, Diana
    Gyalai, Robert
    Curiac, Daniel-Ioan
    SENSORS, 2021, 21 (16)
  • [29] On Testing Techniques for Specification-based Software Structure
    Zhong, Li
    2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 22 - 25
  • [30] Specification-based logic coverage testing criteria
    Qian Z.-S.
    Miao H.-K.
    Ruan Jian Xue Bao/Journal of Software, 2010, 21 (07): : 1536 - 1549
12345