非确定性分布式系统的测试方法和工具的研究
基本信息
结项摘要
主要研究成果；1从LOTOS说明到Petri网的转换；提出了LOTOS说明的Petri网模型，并给出从基本LOTOS表达式到Petri网转换的方法。2，测试非确定性系统的一种结构化方法；根据带标记的转换系统模型，给出集合识别的概念，重新定义了区别序列和UIO序列，提出了结构化的测试方法。3非确定性系统相容性测试的差错检测方法；在集合识别概念的基础上，提出了测试和推导诊断序列的新模型，给出了推导区别序列和UIO序列的新方法。4网络协议的数据流测试方法；在Petri网模拟的基础上，提出了最大输入输出定义链标准，根据这一标准给出了一组产生数据流测试序列的新算法。5，测试工具软件；包括图形编辑，图文之间的转换，系统的执行等功能。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
叶新铭的其他基金
相似国自然基金
软件测试方法与工具研究
分布式系统的形式描述技术与测试方法的研究
实时嵌入式系统的不确定性分析与测试方法研究
电大尺寸系统电磁效应的系综表述和非确定性评估方法的研究