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 条
  • [41] Specification-based testing for GUI-based applications
    Chen, J
    Subramaniam, S
    SOFTWARE QUALITY JOURNAL, 2002, 10 (03) : 205 - 224
  • [42] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    Software Quality Journal, 2002, 10 : 205 - 224
  • [43] Specification model checking and specification-based testing: Complementary approaches to quality in design
    Boughdadi, M
    Busser, B
    6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2000, : 55 - 59
  • [44] A FRAMEWORK FOR INTEGRATING FORMAL SPECIFICATION, REVIEW, AND TESTING TO ENHANCE SOFTWARE RELIABILITY
    Liu, Shaoying
    Tamai, Tetsuo
    Nakajima, Shin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011, 21 (02) : 259 - 288
  • [45] Design of a tool for specification-based program review
    Nagoya, F
    Liu, SY
    Chen, YT
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 10 - 11
  • [46] An extended fault class hierarchy for specification-based testing
    Lau, MF
    Yu, YT
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (03) : 247 - 276
  • [47] A Specification-Based Approach to the Testing of Java Memory Bloat
    Qian, Ju
    Zhou, Xiaoyu
    Dang, Wanchun
    Wang, Ziyuan
    Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352
  • [48] ADLscope: an automated specification-based unit testing tool
    Chang, J
    Richardson, DJ
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
  • [49] GUICop: Approach and toolset for specification-based GUI testing
    Hammoud, Dalal
    Zaraket, Fadi A.
    Masri, Wes
    Software Testing Verification and Reliability, 2017, 27 (08)
  • [50] Specification-based Testing of Synchronous Software Software Engineering
    Software Eng Notes, 6 (127):
12345