中文簡(jiǎn)介

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

投稿網(wǎng)址：http://mc.manuscriptcentral.com/stvr

英文簡(jiǎn)介

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.