Model-based Testing of the Java']Java network API

被引：2

作者：

Artho, Cyrille ^{[1
,2
]}

Rousset, Guillaume ^{[3
]}

机构：

[1] KTH, Sch Comp Sci & Commun, Stockholm, Sweden

[2] AIST, Informat Technol Res Inst, Osaka, Japan

[3] Univ Nantes, Nantes, France

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2017年 / 245期

关键词：

D O I：

10.4204/EPTCS.245.4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network functions. Our test model can dynamically simulate actions in multiple worker and client threads, thanks to a carefully orchestrated design that covers non-determinism while ensuring progress.

引用

页码：46 / 51

页数：6

共 50 条

[31] A Java']Java API for working with PubChem datasets
Southern, Mark R.
Griffin, Patrick R.
BIOINFORMATICS, 2011, 27 (05) : 741 - 742
[32] API Conformance Verification for Java']Java Programs
Li, Xin
Hoover, H. James
Rudnicki, Piotr
FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 188 - 203
[33] The Java']Java 2D API
Loeb, B
DR DOBBS JOURNAL, 1999, 24 (02): : 44 - +
[34] A Java']Java API for experimental analysis of algorithms
Duffy, A
Dowling, T
PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 257 - 262
[35] JToe:: a Java']Java* API for object exchange
Chaumette, S
Grange, P
Métrot, B
Vignéras, P
PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 135 - 141
[36] A Java']Java API for Creating (not only) AnimalScript
Rossling, Guido
Mehlhase, Stephan
Pfau, Jens
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 224 (0C) : 15 - 25
[37] Usage patterns of the Java']Java standard API
Ma, Homan
Amor, Robert
Tempero, Ewan
ASPEC 2006: 13TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 342 - +
[38] Model-based API Testing of Apache ZooKeeper
Artho, Cyrille
Gros, Quentin
Rousset, Guillaume
Banzai, Kazuaki
Ma, Lei
Kitamura, Takashi
Hagiya, Masami
Tanabe, Yoshinori
Yamamoto, Mitsuharu
2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 288 - 298
[39] A Model-Based Framework For Cloud API Testing
Wang, Junyi
Bai, Xiaoying
Li, Linyi
Ji, Zhicheng
Ma, Haoran
2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2017, : 60 - 65
[40] A knowledge discovery object model API for Java
Scott D Zuyderduyn
Steven JM Jones
BMC Bioinformatics, 4

← 1 2 3 4 5 →