Formal specification; Test-case generation; Specification-based testing;
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:集成正式规范,审查和测试以增强软件可靠性的框架
机译:VDM ++规格的继承测试框架
机译:一个开放框架,用于规范和执行可测需求模型。
机译:第2章:医学检验指南(2)开发主题并构建医学检验的系统评价:PICOTS分析框架决策树和其他框架的实用性
机译:在基于DL的框架中通过继承对形式规范进行动画处理
机译:工业/政府开放系统规范测试框架。版本1.0