谓词断言相关论文
测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段。基于(S......
60年代中期到70年代中期软件的开发由于缺乏实践的指导而产生“软件危机”。于是80年代初以来,软件过程被广泛讨论。人们试图通过各......