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
Jessica Chen
Suganthan Subramaniam
Software Quality Journal, 2002, 10 : 205 - 224
[42] 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
[43] 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
[44] 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
[45] 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
[46] The specification-based testing of a trusted kernel: MK++
Ford, RL
Simon, RT
Bevier, WR
Smith, LM
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 151 - 160
[47] Mutation Analysis of Specification-Based Contracts in Software Testing
Khalilov, Abbas
Tuglular, Tugkan
Belli, Fevzi
2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
[48] Specification-based Testing of Synchronous Software Software Engineering
Software Eng Notes, 6 (127):
[49] ADLscope: an automated specification-based unit testing tool
Chang, J
Richardson, DJ
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
[50] 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

← 1 2 3 4 5 →