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 条

[1] Evaluation of a model-based testing platform for Java']Java applications
Villalobos-Arias, Leonardo
Quesada-Lopez, Christian
Martinez, Alexandra
Jenkins, Marcelo
IET SOFTWARE, 2020, 14 (02) : 115 - 128
[2] Model-based generation of Java']Java code
Chow, KO
Jia, WJ
Chan, VCP
Cao, JN
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2811 - 2817
[3] Assessing two graph-based algorithms in a model-based testing platform for Java']Java applications
Villalobos-Arias, Leonardo
Quesada-Lopez, Christian
Martinez, Alexandra
Jenkins, Marcelo
2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), 2020,
[4] MBT4J: Automating the Model-Based Testing Process for Java']Java Applications
Villalobos-Arias, Leonardo
Quesada-Lopez, Christian
Martinez, Alexandra
Jenkins, Marcelo
TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), 2019, 865 : 165 - 174
[5] A Fusion of Java']Java Domain Knowledge Base and Siamese Network for Java']Java API Recommendation
Li, Hao
Li, Tao
Zhong, Sheng
Kang, Yan
Chen, Tie
COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 398 - 405
[6] Automated model-based configuration of enterprise Java']Java applications
White, Jules
Schmidt, Doulas C.
Czarnecki, Krzysztof
Wienands, Christoph
Lenz, Gunther
Wuchner, Egon
Fiege, Ludger
11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 301 - +
[7] CLARVA: Model-based Residual Verification of Java']Java Programs
Azzopardi, Shaun
Colombo, Christian
Pace, Gordon
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 352 - 359
[8] A knowledge discovery object model API for Java']Java
Zuyderduyn, SD
Jones, SJM
BMC BIOINFORMATICS, 2003, 4 (1)
[9] Java']Java accessibility API
不详
JOURNAL OF VISUAL IMPAIRMENT & BLINDNESS, 1997, 91 (06) : 12 - 13
[10] The Java']Java location API
Parsons, D
DR DOBBS JOURNAL, 2006, 31 (01): : 53 - 58

← 1 2 3 4 5 →