To check whether more or less appropriate formalized versions of the pragmatic concept of a test, as well as theories based on them, already exist, a search for witnessing publications has been carried out. An issue of utmost importance is the issue of whether or not there are solid grounds to test software in cases where in principle other forms of analysis could be used. For that reason, the above-mentioned search has been combined with a search for publications treating this issue. This note reports on the way in which the search has been carried out and the main outcomes of the search. In the concluding remarks, the main outcomes of the search are roughly summarized in the form of two remarkable observations, which clearly reflect the fact that the fundamentals of software testing are not yet complete in some respects. Therefore, it may well be that these observations will serve as triggers of future work on the fundamentals of software testing.
è°¢è°¢äº æåæ¹æ¹å§ æ们导å¸è¦æ±å¥åä¸å®é顺
唔。。。英语在线翻译我啊会。。。。可是不通顺啊 哭