.png){kind=icon}
返回
Coverage metrics for actor model programs: A model-based approach
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2025.107860.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
软件测试在开发高质量软件中扮演着重要角色。开发者需要了解软件测试的有效性；因此，使用覆盖率标准进行测试评估是常见的做法。为每个软件情境选择合适的标准至关重要，因为它可以带来更好的故障检测。每个情境都需要特定的测试套件来揭示故障，开发者应了解情境以选择适宜的标准。在演员模型程序中，开发者会遇到特定的范式，并需要新的标准。
Keyword:
software testing
test effectiveness
coverage criteria
actor model
fault detection
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏分享收藏
查看更多内容