机译:基于SDL和MSC的规范以及用于INAP的自动测试案例生成
SDL; MSC; TTCN; ASN.1; Conformance testing; Automatic test generation; Standardization; ETSI; ITU-T;
机译:基于SDL和MSC的规范以及用于INAP的自动测试案例生成
机译:使用和声搜索算法自动生成OCL规范的最佳测试数据
机译:根据实时反应系统的正式规范自动生成测试套件
机译:通过OTS / CafeOBJ规范通过规范转换自动生成测试用例
机译:自动黑盒GUI规范增强和测试数据生成
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。