检索有关软件测试的出版物
Searching publications on software testing
摘要：
本说明涉及检索出版物，其中的实用概念的测试进行的实践中的软件测试是正式的，一个理论关于软件测试的基础上，这样一个正式的介绍，或它是证明了这样一个理论的基础上，有坚实的理由测试软件的情况下，在原则上其他形式的分析可以使用。本说明报告了搜寻的方式和主要结果。这篇文章的信息是软件测试的基础在某些方面还不完整。
英文摘要：
This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is demonstrated on the basis of such a theory that there are solid grounds to test software in cases where in principle other forms of analysis could be used. This note reports on the way in which the search has been carried out and the main outcomes of the search. The message of the note is that the fundamentals of software testing are not yet complete in some respects.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
