期刊簡介預(yù)計(jì)審稿時(shí)間： 12周，或約稿

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 verification

-Application of existing software testing and verification techniques to new types of software, including web applications, web services, embedded software, aspect-oriented software, and software architectures

-Model based testing

-Formal verification techniques such as model-checking

-Comparison of testing and verification techniques

-Measurement of and metrics for testing, verification and reliability

-Industrial experience with cutting edge techniques

-Descriptions and evaluations of commercial and open-source software testing tools

-Reliability modeling, measurement and application

-Testing and verification of software security

-Automated test data generation

-Process issues and methods

-Non-functional testing

該期刊是測試、驗(yàn)證和可靠性研究成果的主要渠道。讀者將找到有關(guān)構(gòu)建更好的軟件并對其進(jìn)行評估的有用研究。

該期刊的獨(dú)特之處在于它強(qiáng)調(diào)理論基礎(chǔ)和實(shí)際軟件開發(fā)的應(yīng)用。理論、實(shí)證工作和實(shí)際應(yīng)用之間的平衡為讀者提供了更好的測試、驗(yàn)證和提高軟件可靠性的技術(shù)。

該期刊的目標(biāo)讀者是研究人員、從業(yè)者、教育工作者和學(xué)生，他們對高質(zhì)量測試、驗(yàn)證和可靠性建模和評估軟件所產(chǎn)生的結(jié)果有著濃厚的興趣。特別感興趣的主題包括但不限于：

-軟件測試和驗(yàn)證的新標(biāo)準(zhǔn)

-現(xiàn)有軟件測試和驗(yàn)證技術(shù)在新型軟件中的應(yīng)用，包括 Web 應(yīng)用程序、Web 服務(wù)、嵌入式軟件、面向方面的軟件和軟件架構(gòu)

-基于模型的測試

-形式化驗(yàn)證技術(shù)，如模型檢查

-測試和驗(yàn)證技術(shù)的比較

-測試、驗(yàn)證和可靠性的測量和指標(biāo)

-具有尖端技術(shù)的行業(yè)經(jīng)驗(yàn)

-商業(yè)和開源軟件測試工具的描述和評估

-可靠性建模、測量和應(yīng)用

-軟件安全性的測試和驗(yàn)證

-自動(dòng)測試數(shù)據(jù)生成

-流程問題和方法

-非功能性測試

《Software Testing Verification & Reliability》(軟件測試驗(yàn)證和可靠性)編輯部通訊方式為JOHN WILEY & SONS LTD, THE ATRIUM, SOUTHERN GATE, CHICHESTER, ENGLAND, W SUSSEX, PO19 8SQ。如果您需要協(xié)助投稿或潤稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。