规格说明测试相关论文
形式化方法目前在工业界还没有得到广泛应用，主要是因为各种形式化方法没有很好地整合到工业界的软件开发过程中去，并且目前还没有比......
形式规格说明语言基于严密的数学和逻辑，它是精确的，无二义性的语言。形式规格说明语言克服了非形式化语言的二义性，但是它并不能完全......
自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义，而且要求使用人员具有较深的数学基础......
