中文簡介

該雜志是測試、驗證和可靠性研究成果的主要渠道。讀者將發(fā)現(xiàn)有關構建更好的軟件和評估它的問題的有用研究。該期刊特別強調(diào)理論基礎和在現(xiàn)實軟件開發(fā)中的應用。理論、經(jīng)驗工作和實際應用的平衡為讀者提供了更好的測試、驗證和提高軟件可靠性的技術。該雜志的目標是研究人員、實踐者、教育者和學生，他們對軟件的高質(zhì)量測試、驗證和可靠性建模和評估所產(chǎn)生的結果具有既得利益。特別感興趣的主題包括但不限于：軟件測試和驗證的新標準將現(xiàn)有的軟件測試和驗證技術應用于新類型的軟件，包括Web應用程序、Web服務、嵌入式軟件、面向方面的軟件和軟件架構基于模型的測試正式的驗證技術，如模型檢查測試和驗證技術的比較測試、驗證和可靠性的測量和度量具有尖端技術的行業(yè)經(jīng)驗商業(yè)和開源軟件測試工具的描述和評估可靠性建模、測量與應用軟件安全性的測試和驗證自動測試數(shù)據(jù)生成過程問題和方法非功能測試捐款類型包括：報告原始工作的研究論文，無論是理論上的還是實踐上的，都能增加軟件測試、驗證或可靠性方面的知識、理解或實踐。在出版之前進行評審。調(diào)查論文詳細介紹了特定領域的所有當前知識。審閱。每一篇科學論文將由至少三名評審員進行徹底的評審。

投稿網(wǎng)址：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 evaluating 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 evaluation 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 evaluations 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.