来源：学术之家整理 2025-03-18 15:39:45
《Software Testing Verification & Reliability》中文名称：《软件测试验证和可靠性》，创刊于1991年，由John Wiley and Sons Ltd出版商出版，出版周期Quarterly。
该期刊是测试、验证和可靠性研究成果的主要渠道。读者将找到有关构建更好的软件并对其进行评估的有用研究。
该期刊的独特之处在于它强调理论基础和实际软件开发的应用。理论、实证工作和实际应用之间的平衡为读者提供了更好的测试、验证和提高软件可靠性的技术。
该期刊的目标读者是研究人员、从业者、教育工作者和学生，他们对高质量测试、验证和可靠性建模和评估软件所产生的结果有着浓厚的兴趣。特别感兴趣的主题包括但不限于：
-软件测试和验证的新标准
-现有软件测试和验证技术在新型软件中的应用，包括 Web 应用程序、Web 服务、嵌入式软件、面向方面的软件和软件架构
-基于模型的测试
-形式化验证技术，如模型检查
-测试和验证技术的比较
-测试、验证和可靠性的测量和指标
-具有尖端技术的行业经验
-商业和开源软件测试工具的描述和评估
-可靠性建模、测量和应用
-软件安全性的测试和验证
-自动测试数据生成
-流程问题和方法
-非功能性测试
旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。
| 文章引用名称 | 引用次数 |
| Choosing the fitness functio... | 6 |
| PESTO: Automated migration o... | 4 |
| Why does the orientation cha... | 3 |
| Heterogeneous fault predicti... | 3 |
| Random or evolutionary searc... | 2 |
| Mutation operators for featu... | 2 |
| A novel reliability analysis... | 2 |
| MobSTer: A model-based secur... | 1 |
| Verifying OSEK/VDX automotiv... | 1 |
| A formal approach to automat... | 1 |
| 被引用期刊名称 | 数量 |
| J SYST SOFTWARE | 49 |
| IEEE ACCESS | 41 |
| ADV COMPUT | 33 |
| IEEE T SOFTWARE ENG | 31 |
| INFORM SOFTWARE TECH | 28 |
| SOFTW TEST VERIF REL | 24 |
| SOFTWARE QUAL J | 24 |
| EMPIR SOFTW ENG | 14 |
| SOFTW SYST MODEL | 12 |
| ACM T SOFTW ENG METH | 11 |
| 引用期刊名称 | 数量 |
| IEEE T SOFTWARE ENG | 38 |
| SOFTW TEST VERIF REL | 24 |
| J SYST SOFTWARE | 14 |
| INFORM SOFTWARE TECH | 12 |
| COMPUTER | 8 |
| ACM T SOFTW ENG METH | 7 |
| IEEE T RELIAB | 6 |
| IEEE SOFTWARE | 5 |
| SCI COMPUT PROGRAM | 5 |
| SOFTWARE PRACT EXPER | 5 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
