钟德明
- 作品数：40 被引量：73H指数：5
- 供职机构：北京航空航天大学可靠性与系统工程学院更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学一般工业技术更多>>
- 一种准确识别损失场景的STPA方法和装置
- 本发明提供了一种准确识别损失场景的STPA方法和装置。该方法包括：确定分析目标，包括确定损失；利用有限状态机生成系统状态机；利用确定的损失和生成的系统状态机，识别不安全控制动作；利用模型检测技术和识别的不安全控制动作识别...
- 钟德明孙睿郭锐宫浩原查云
- 一种基于仿真的系统理论过程分析方法
- 本发明提供一种基于仿真的系统理论过程分析方法，包括以下步骤：S1、对系统运行过程进行分析，构建系统运行分析目标；S2、根据系统运行过程构建系统模型，并对系统模型进行扩展，得到扩展模型；S3、运行扩展模型，并根据系统分析目...
- 钟德明王天怀
- 文献传递
- 一种软件控制危险分析方法
- 本发明提供一种软件控制危险分析方法，包括：基于目标有限状态软件系统状态机模型转换而成的C语言程序状态机模型，生成中间语言状态机模型，所述中间语言状态机模型通过中间变量的初始值、转移条件、转移前取值和转移后取值表征；基于所...
- 钟德明孙睿丁玉新王灏
- 文献传递
- 软件测试与评价的关系研究被引量：4
- 2009年
- 随着软件测试的发展,人们对软件评价的需求越来越迫切。捋清软件测试与评价之间的关系是做好软件评价的基础。但是目前软件测试领域的术语非常混乱,无人对软件测评之间的关系给出系统回答。为改变这种现状,提出了一种测评框架。该框架的特点主要有3个:①将软件测试、评价与开发视为一个闭环的控制过程,在控制语境下约束软件测评之间的含义。②从多个角度对软件测评的类型进行划分,尤其是基于质量模型对软件测评类型进行划分。③一种测试类型对应一种评价类型。该框架有助于明确软件测、评之间的关系,不仅如此,还有助于理解软件质量保证、验证与确认(V&V)等活动。
- 钟德明王成志
- 关键词：软件测试
- 代码走查辅助工具的MDA开发模式被引量：2
- 2007年
- 研究和分析了软件代码走查问题域,提取出软件代码走查辅助工具的基本功能。使用模型驱动体系结构方法,结合软件代码走查辅助工具的特点,逐步构建软件代码走查辅助工具的平台无关模型、平台相关模型与代码模型,并对不同模型之间的转换规则进行了初步研究。
- 王志刘斌钟德明张虹
- 关键词：软件测试
- 软件可靠性测试的理论分析被引量：7
- 2008年
- 目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。
- 刘志方钟德明曾福萍李海峰
- 关键词：软件可靠性测试
- 实时嵌入式软件仿真测试平台的体系结构设计被引量：21
- 2003年
- 从实时嵌入式软件测试平台的需求出发 ,分析了实时嵌入式软件测试对计算机体系结构的要求 。
- 崔小乐刘斌钟德明阮镰高小鹏
- 关键词：多机系统
- 一种基于模型检测的功能共振分析方法
- 本发明属于复杂系统分析技术领域。复杂系统分析采用人工分析具有效率低、准确性差等缺点，本发明提供一种基于模型检测的功能共振分析方法(MC‑FRAM：Model Checking basedFunctional Resona...
- 钟德明熊军
- 软件密集航电系统测试需求建模研究
- 系统测试是提高航电软件质量的重要途径。建立测试需求模型是进行系统测试的前提和基础。使用形式化的语言建立需求模型,有助于提高系统测试的自动化程度。状态图具有形式化特征,并且非常适合实时嵌入式软件的建模。因此本文以状态图为核...
- 高猛钟德明杨顺昆陆民燕
- 关键词：航电系统状态图软件质量
- 文献传递
- FADEC软件安全性分析方法及装置
- 本发明实施例提供一种FADEC软件安全性分析方法及装置，所述方法包括：基于FHA方法对FADEC软件进行分析，获取FADEC软件的高层危险事件和高层危险事件安全性要求；基于FTA方法根据高层危险事件和高层危险事件安全性要...
- 钟德明丁玉新孙睿
- 文献传递
