公理化评估相关论文
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软......
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则：N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系......
