.png){kind=icon}
返回
Parallel Specification-Based Testing for Concurrent Programs
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2022.3155629.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to be accepted by S. We suppose that S is specified in Maude and P is implemented in Java. Java Pathfinder (JPF) and Maude are then used to generate state sequences from P and to check if such state sequences are accepted by S, respectively. Even without checking any property violations with JPF, JPF often encounters the notorious state space explosion while only generating state sequences. Thus, we propose a technique to generate state sequences from P and check if such state sequences are accepted by S in a stratified way. A tool is developed to support the proposed technique that can be processed naturally in parallel. Some experiments demonstrate that the proposed technique mitigates the state space explosion, which cannot be achieved with the straightforward use of JPF.
Keyword:
Programming
Testing
Concurrent computing
Protocols
Explosions
Java
Codes
Simulation
divide & conquer approach
parallel algorithms
concurrent programs
specification-based testing
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
分享收藏
Second-order non-linear optical properties of Fe(SALEN) complexesFe(SALEN) 配合物的二阶非线性光学性质.png)
Polyhedron
PolyhedronIF0
PREAI
分享收藏
查看更多内容