user

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 条
  • [31] Specification-Based Testing in Software Engineering Courses
    Fisher, Gene
    Johnson, Corrigan
    SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2018, : 800 - 805
  • [32] A specification-based software construction framework for reuse
    Liu, J
    Miao, HK
    Gao, XL
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 69 - 79
  • [33] Specification-based class testing: A case study
    MacColl, I
    Murray, L
    Strooper, P
    Carrington, D
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 222 - 231
  • [34] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    IEEE Access, 2022, 10 : 24955 - 24975
  • [35] A model of specification-based testing of interactive systems
    MacColl, I
    Carrington, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1862 - 1862
  • [36] Thoroughness of specification-based testing of synchronous programs
    Parissis, I
    Vassy, M
    ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 191 - 200
  • [37] Evaluation of three specification-based testing criteria
    Abdurazik, Aynur
    Ammann, Paul
    Ding, Wei
    Offutt, Jeff
    2000, IEEE, Piscataway, NJ, United States
  • [38] Evaluation of three specification-based testing criteria
    Abdurazik, A
    Ammann, P
    Ding, W
    Offutt, J
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
  • [39] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [40] Specification-based testing for GUI-based applications
    Chen, J
    Subramaniam, S
    SOFTWARE QUALITY JOURNAL, 2002, 10 (03) : 205 - 224
12345