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 条

[1] A framework for specification-based testing
Stocks, P
Carrington, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (11) : 777 - 793
[2] A framework for specification-based class testing
Liu, L
Miao, HK
Zhan, X
EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 153 - 162
[3] CHOC'LATE A Framework for Specification-based Testing
Poon, Pak-Lok
Tang, Sau-Fun
Tse, T. H.
Chen, T. Y.
COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 113 - 118
[4] APPROACHES TO SPECIFICATION-BASED TESTING
RICHARDSON, DJ
OMALLEY, O
TITTLE, C
PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
[5] Specification-based testing for refinement
Kahsai, Temesghen
Roggenbach, Markus
Schlingloff, Bernd-Holger
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
[6] Formal specification-based online monitoring
Liang, Hui
Dong, Jin Song
Sun, Jing
Duke, Roger
Seviora, Rudolph E.
ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 152 - +
[7] Towards specification-based web testing
Chen, J
Chovanec, S
WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
[8] An approach to detecting domain errors using formal specification-based testing
Chen, YT
Liu, SY
11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 276 - 283
[9] Specification-based testing of interactive systems
MacColl, I
HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
[10] Formal Specification-Based Inspection for Verification of Programs
Liu, Shaoying
Chen, Yuting
Nagoya, Fumiko
McDermid, John A.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (05) : 1100 - 1122

← 1 2 3 4 5 →