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

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

systems. ACM SIGPLAN Notices, 2017, 52(4): 677–691. [doi: 10.1145/3093336.3037735]
[96] Joshi P, Gunawi HS, Sen K. PREFAIL: A programmable tool for multiple-failure injection. In: Proc. of the 2011 ACM Int’l Conf. on
Object Oriented Programming Systems Languages and Applications. Portland: ACM, 2011. 171–188. [doi: 10.1145/2048066.2048082]
[97] Gunawi HS, Do T, Joshi P, Alvaro P. FATE and DESTINI: A framework for cloud recovery testing. In: Proc. of the 8th USENIX Conf.
on Networked Systems Design and Implementation. Boston: USENIX Association, 2011. 238–252. [doi: 10.5555/1972457.1972482]
[98] Gcov/Lcov. A test coverage program. 2024. https://gcc.gnu.org/onlinedocs/gcc/Gcov.html
[99] JaCoCo java code coverage library. 2024. https://www.eclemma.org/jacoco/
[100] Kallas K, Niksic F, Stanford C, Alur R. DiffStream: Differential output testing for stream processing programs. In: Proc. of the ACM on
Programming Languages, 2020, 4(OOPSLA): 153. [doi: 10.1145/3428221]
[101] Lamport Leslie. Specifying systems: The TLA+ language and tools for hardware and software engineers. Computer, 2002, 35(9): 81.
[doi: 10.1109/MC.2002.1033032]
[102] Deligiannis P, McCutchen M, Thomson P, Chen S, Donaldson AF, Erickson J, Huang C, Lal A, Mudduluru R, Qadeer S, Schulte W.
Uncovering bugs in distributed storage systems during testing (not in production!). In: Proc. of the 14th USENIX Conf. on File and
Storage Technologies. Santa Clara: USENIX Association, 2016. 249–262. [doi: 10.5555/2930583.2930602]
[103] Deligiannis P, Donaldson AF, Ketema J, Lal A, Thomson P. Asynchronous programming, analysis and testing with state machines. In:
Proc. of the 36th ACM SIGPLAN Conf. on Programming Language Design and Implementation. Portland: ACM, 2015. 154–164. [doi:
10.1145/2737924.2737996]
[104] Alquraan A, Takruri H, Alfatafta M, Al-Kiswany S. An analysis of network-partitioning failures in cloud systems. In: Proc. of the 13th
USENIX Conf. on Operating Systems Design and Implementation. Carlsbad: USENIX Association, 2018. 51–68. [doi: 10.5555/
3291168.3291173]
[105] GoogleTest. 2024. https://github.com/google/googletest

附中文参考文献:
[3] 张晓丽, 杨家海, 孙晓晴, 吴建平. 分布式云的研究进展综述. 软件学报, 2018, 29(7): 2116–2132. http://www.jos.org.cn/1000-9825/
5555.htm [doi: 10.13328/j.cnki.jos.005555]
[22] 刘强, 崔莉, 陈海明. 物联网关键技术与应用. 计算机科学, 2010, 37(6): 1–4, 10. [doi: 10.3969/j.issn.1002-137X.2010.06.001]
[27] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报, 2019, 30(1): 80–109.
http://www.jos.org.cn/1000-9825/5651.htm [doi: 10.13328/j.cnki.jos.005651]
[41] Cloudflare. 轰动一时的 DDoS 攻击: 有史以来规模最大的 DDoS 攻击. 2024. https://www.cloudflare.com/zh-cn/learning/ddos/famous-
ddos-attacks/

陈元亮(1995－), 男, 博士生, CCF 学生会员, 主 颜臻(2001－), 男, 硕士生, 主要研究领域为区块
要研究领域为漏洞挖掘, 软件安全分析. 链, 分布式系统安全分析.

马福辰(1997－), 男, 博士, CCF 学生会员, 主要 姜宇(1989－), 男, 博士, 副教授, 博士生导师,

研究领域为区块链, 分布式系统安全分析. CCF 高级会员, 主要研究领域为软件工程, 物理

信息融合系统.

周远航(1999－), 女, 硕士生, 主要研究领域为密 孙家广(1946－), 男, 教授, 博士生导师, 主要研

码库, 区块链系统安全分析. 究领域为计算机图形学, 计算机辅助设计, 软件

工程与系统.