模型代数相关论文
由于同时支持软件测试和模型检测需求的程序建模比较少，为此提出了一种程序建模技术，该技术主要包括物理存储模型、可视化模型和代数......
由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代......
路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测......
