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 条

[21] Automatic Model Generation from Documentation for Java']Java API Functions
Zhai, Juan
Huang, Jianjun
Ma, Shiqing
Zhang, Xiangyu
Tan, Lin
Zhao, Jianhua
Qin, Feng
2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, : 380 - 391
[22] A Fusion of Java Domain Knowledge Base and Siamese Network for Java API Recommendation
Li, Hao
Li, Tao
Zhong, Sheng
Kang, Yan
Chen, Tie
Proceedings - Companion of the 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS-C 2020, 2020, : 398 - 405
[23] A Java']Java-based network
Hotch, R
COMMUNICATIONS NEWS, 1997, 34 (07): : 12 - 13
[24] Analysis of Java']Java Programs using Joana and Java']Java SDG API
Kumar, Ranjan
Panda, Subhrakanta
Mohapatra, Durga Prasad
2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2402 - 2408
[25] Java']Java - Sun introduces Java']Java 3D API
不详
IEEE INTERNET COMPUTING, 1999, 3 (01) : 16 - 16
[26] Detecting Java']Java Theft Based on Static API Trace Birthmark
Park, Heewan
Choi, Seokwoo
Lim, Hyun-il
Han, Taisook
ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS, 2008, 5312 : 121 - 135
[27] A model-based development approach for the verification of real-time Java']Java code
Pour, Niusha Hakimi
Strooper, Paul
Wellings, Andy
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (13): : 1583 - 1606
[28] Automatic validation of Java']Java page flows using model-based coverage criteria
Alava, Jonatan
King, Tariq M.
Clarke, Peter J.
30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 439 - +
[29] A Formalism for Specification of Java']Java API Interfaces
Ancona, Davide
Dagnino, Francesco
Franceschini, Luca
COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS, 2018, : 24 - 26
[30] Realization of a TMN Java']Java management API
Dassow, H
Hubert, C
Frohnhoff, B
Aschemann, G
NOMS '98 - 1998 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS 1-3, 1998, : 412 - 421

← 1 2 3 4 5 →