Page 79 - 《软件学报》2025年第7期

3000 软件学报 2025 年第 36 卷第 7 期

54(1): 24. [doi: 10.1145/3436728]
[46] Abd-El-Malek M, Ganger GR, Goodson GR, Reiter MK, Wylie JJ. Fault-scalable Byzantine fault-tolerant services. ACM SIGOPS
Operating Systems Review, 2005, 39(5): 59–74. [doi: 10.1145/1095809.1095817]
[47] CVE. CVE-2021-39137. 2024. https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-39137
[48] CVE. CVE-2020-26265. 2024. https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2020-26265
[49] da Silva FSC. Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems,
2013, 34(1): 219–242. [doi: 10.1007/s10115-011-0464-7]
[50] Amazon Simple Storage Service (S3) Team. Summary of the amazon S3 service disruption in the northern Virginia (US-EAST-1)
region. 2024. https://aws.amazon.com/cn/message/41926
[51] Ulrich A, König H. Architectures for testing distributed systems. In: Testing of Communicating Systems: Methods and Applications.
Springe, 1999. 93–108.
[52] Yang JF, Chen TS, Wu M, Xu ZL, Liu XZ, Lin HX, Yang M, Long F, Zhang LT, Zhou LD. MODIST: Transparent model checking of
unmodified distributed systems. In: Proc. of the 6th USENIX Symp. on Networked Systems Design and Implementation. Boston:
USENIX Association, 2009. 213–228. [doi: 10.5555/1558977.1558992]
[53] Gupta D, Vishwanath KV, McNett M, Vahdat A, Yocum K, Snoeren A, Voelker GM. DieCast: Testing distributed systems with an
accurate scale model. ACM Trans. on Computer Systems (TOCS), 2011, 29(2): 4. [doi: 10.1145/1963559.1963560]
[54] RUBiS. 2024. http://www.rubis.com.cn/
[55] Panasas. 2024. https://www.panasas.com/wp-content/uploads/2020/10/Panasas_Product_Brief_PanFS.pdf
[56] Wang Y, Kapritsos M, Schmidt L, Dahlin M. Exalt: Empowering researchers to evaluate large-scale storage systems. In: Proc. of the
11th USENIX Symp. on Networked Systems Design and Implementation. Seattle: USENIX Association, 2014. 129–141. [doi: 10.5555/
2616448.2616461]
[57] Leesatapornwongsa T, Hao MZ, Joshi P, Lukman JF, Gunawi HS. SAMC: Semantic-aware model checking for fast discovery of deep
bugs in cloud systems. In: Proc. of the 11th USENIX Conf. on Operating Systems Design and Implementation. Broomfield: USENIX
Association, 2014. 399–414. [doi: 10.5555/2685048.2685080]
[58] Jepsen. Distributed systems safety research. 2024. http://jepsen.io/
[59] Netflix. Chaos monkey. 2024. https://netflix.github.io/chaosmonkey/
[60] Li W, Li SS, Liao XK, Xu XY, Zhou SL, Jia ZY. ConfTest: Generating comprehensive misconfiguration for system reaction ability
evaluation. In: Proc. of the 21st Int’l Conf. on Evaluation and Assessment in Software Engineering. Karlskrona: ACM, 2017. 88–97.
[doi: 10.1145/3084226.3084244]
[61] Ozkan BK, Majumdar R, Niksic F, Befrouei MT, Weissenbacher G. Randomized testing of distributed systems with probabilistic
guarantees. Proc. of the ACM on Programming Languages, 2018, 2(OOPSLA): 160. [doi: 10.1145/3276530]
[62] Stuardo CA, Leesatapornwongsa T, Suminto RO, Ke H, Lukman JF, Chuang WC, Lu S, Gunawi HS. Scalecheck: A single-machine
approach for discovering scalability bugs in large distributed systems. In: Proc. of the 17th USENIX Conf. on File and Storage
Technologies. Boston: USENIX Association, 2019. 359–373. [doi: 10.5555/3323298.3323332]
[63] Lukman JF, Ke H, Stuardo CA, Suminto RO, Kurniawan DH, Simon D, Priambada S, Tian C, Ye F, Leesatapornwongsa T, Gupta A, Lu
S, Gunawi HS. FlyMC: Highly scalable testing of complex interleavings in distributed systems. In: Proc. of the 14th EuroSys Conf.
Dresden: ACM, 2019. 20. [doi: 10.1145/3302424.3303986]
[64] Chen HC, Dou WS, Wang D, Qin F. CoFI: Consistency-guided fault injection for cloud systems. In: Proc. of the 35th IEEE/ACM Int’l
Conf. on Automated Software Engineering. ACM, 2020. 536–547. [doi: 10.1145/3324884.3416548]
[65] Yuan XH, Yang JF. Effective concurrency testing for distributed systems. In: Proc. of the 25th Int’l Conf. on Architectural Support for
Programming Languages and Operating Systems. Lausanne: ACM, 2020. 1141–1156. [doi: 10.1145/3373376.3378484]
[66] Pranata AA, Barais O, Bourcier J, Noirie L. ChaT: Evaluation of reconfigurable distributed network systems using metamorphic testing.
In: Proc. of the 2021 IEEE Global Communications Conf. Madrid: IEEE, 2021. 1–6. [doi: 10.1109/GLOBECOM46510.2021.9685879]
[67] Nikolaidis F, Chazapis A, Marazakis M, Bilas A. Frisbee: Automated testing of Cloud-native applications in Kubernetes. arXiv:
2109.10727, 2021.
[68] Hsaini S, Azzouzi S, El Hassan Charaf M. A temporal based approach for MapReduce distributed testing. Int’l Journal of Parallel,
Emergent and Distributed Systems, 2021, 36(4): 293–311. [doi: 10.1080/17445760.2021.1879068]
[69] Yang Y, Kim T, Chun BG. Finding consensus bugs in ethereum via multi-transaction differential fuzzing. In: Proc. of the 15th USENIX
Symp. on Operating Systems Design and Implementation. USENIX Association, 2021. 349–365.
[70] Zhang YL, Yang JW, Jin ZQ, Sethi U, Rodrigues K, Lu S, Yuan D. Understanding and detecting software upgrade failures in distributed
systems. In: Proc. of the 28th ACM SIGOPS Symp. on Operating Systems Principles. ACM, 2021. 116–131. [doi: 10.1145/3477132.