SPIN模型检测机相关硕士博士期刊学术论文

本文对软件质量保证的重要手段--软件测试进行了论述,首先给出一些基本理论,随着软件测试研究的进展,软件测试提出了一些比较前沿......