A Survey on the Software Integration Testing Method Based on the Formalization Theory

被引：0

作者：

Yao, Xun ^{[1
]}

Wang, Hong ^{[1
]}

Zhang, Lin ^{[1
]}

机构：

[1] SW Univ Nationalities, Coll Management, Chengdu 610041, Peoples R China

来源：

INTERNATIONAL CONFERENCE ON ENGINEERING AND BUSINESS MANAGEMENT (EBM2011), VOLS 1-6 | 2011年

关键词：

model verification; consistency testing; integration; formal method;

D O I：

暂无

中图分类号：

F [经济];

学科分类号：

02 ;

摘要：

Formal methods are the software development methodology with strict mathematics foundation, and its application into the software development process can improve effectively the quality of software product. The formal verification and consistency testing based on formal models are the key technologies of formal methods. Firstly, this paper describes the current study on two aforesaid technologies. Secondly it focuses on research status and developing trend of the integration methods on both sides. Finally further research direction is given.

引用

页码：2533 / 2536

页数：4

共 20 条

[1] Using a model checker to test safety properties [J].

Ammann, P ;

Ding, W ;

Xu, DL .

SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, :212-221

[2]

[Anonymous], 2001, Model checking

[3]

Chen WH, 2000, IEEE ICC, P505, DOI 10.1109/ICC.2000.853370

[4]

Clarke E M, 1996, ACM COMPUT SURV, V28, p1~22

[5] Integrating formal verification and conformance testing for reactive systems [J].

Constant, Camille ;

Jeron, Thierry ;

Marchand, Herve ;

Rusu, Vlad .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2007, 33 (08) :558-574

[6]

de Vries R. G., 2001, P 1 INT WORKSH FORM, V1, P61

[7]

Gargantini A, 1999, LECT NOTES COMPUT SC, V1687, P146, DOI 10.1145/318774.318939

[8]

Gu Longtian, 2005, FORMAL METHOD SOFTWA

[9] Generating efficient test sets with a model checker [J].

Hamon, G ;

de Moura, L ;

Rushby, J .

PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, :261-270

[10]

Hong HS, 2002, LECT NOTES COMPUT SC, V2280, P327

← 1 2 →