中文简介

该杂志是测试、验证和可靠性研究成果的主要渠道。读者将发现有关构建更好的软件和评估它的问题的有用研究。该期刊特别强调理论基础和在现实软件开发中的应用。理论、经验工作和实际应用的平衡为读者提供了更好的测试、验证和提高软件可靠性的技术。该杂志的目标是研究人员、实践者、教育者和学生，他们对软件的高质量测试、验证和可靠性建模和评估所产生的结果具有既得利益。特别感兴趣的主题包括但不限于：软件测试和验证的新标准将现有的软件测试和验证技术应用于新类型的软件，包括Web应用程序、Web服务、嵌入式软件、面向方面的软件和软件架构基于模型的测试正式的验证技术，如模型检查测试和验证技术的比较测试、验证和可靠性的测量和度量具有尖端技术的行业经验商业和开源软件测试工具的描述和评估可靠性建模、测量与应用软件安全性的测试和验证自动测试数据生成过程问题和方法非功能测试捐款类型包括：报告原始工作的研究论文，无论是理论上的还是实践上的，都能增加软件测试、验证或可靠性方面的知识、理解或实践。在出版之前进行评审。调查论文详细介绍了特定领域的所有当前知识。审阅。每一篇科学论文将由至少三名评审员进行彻底的评审。

投稿网址：http://mc.manuscriptcentral.com/stvr

英文简介

The journal is the premier outlet for research results on the subjects of testing, verification and reliability. Readers will find useful research on issues pertaining to building better software and evalsuating it.The journal is unique in its emphasis on theoretical foundations and applications to real-world software development. The balance of theory, empirical work, and practical applications provide readers with better techniques for testing, verifying and improving the reliability of software.The journal targets researchers, practitioners, educators and students that have a vested interest in results generated by high-quality testing, verification and reliability modeling and evalsuation of software. Topics of special interest include, but are not limited to:New criteria for software testing and verificationApplication of existing software testing and verification techniques to new types of software, including web applications, web services, embedded software, aspect-oriented software, and software architecturesModel based testingFormal verification techniques such as model-checkingComparison of testing and verification techniquesMeasurement of and metrics for testing, verification and reliabilityIndustrial experience with cutting edge techniquesDescriptions and evalsuations of commercial and open-source software testing toolsReliability modeling, measurement and applicationTesting and verification of software securityAutomated test data generationProcess issues and methodsNon-functional testingTypes of contributions include:Research Papers reporting original work, either theoretical or practical, which increase knowledge, understanding or practice in software testing, verification or reliability. Refereed prior to publication.Survey Papers that detail all the current knowledge in a specific area. Refereed.Each scientific paper will be thoroughly reviewed by at least three reviewers.