一种嵌入式软件可信性保障方法

被引：0

专利类型：

发明

申请号：

CN201310738865.3

申请日：

2013-12-26

公开(公告)号：

CN103677849B

公开(公告)日：

2014-03-26

发明(设计)人：

杨孟飞顾斌陈睿郭向英赵雷董晓刚綦艳霞王政陈尧乔磊沈沛郝伟

申请人：

申请人地址：

100080 北京市海淀区北京2729信箱

IPC主分类号：

G06F944

IPC分类号：

代理机构：

中国航天科技专利中心 11009

代理人：

安丽

法律状态：

授权

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2015-04-15	授权	授权
2014-04-23	实质审查的生效	实质审查的生效号牌文件类型代码:1604 号牌文件序号:101581676770 IPC(主分类):G06F 9/44 专利申请号:2013107388653 申请日:20131226
2014-03-26	公开	公开

共 50 条

[1]

一种软件可信性检测分析方法 [P].

陈春艳 .

中国专利 :CN107529639A ,2018-01-02

[2]

软件可信性测试方法及装置 [P].

杨学红 ;

王国环 .

中国专利 :CN102708055B ,2012-10-03

[3]

一种软件可信性检测方法及系统 [P].

于本海 ;

王青 ;

李明树 ;

杨叶 ;

吴克文 ;

陈心光 ;

杜晶 ;

王丹丹 .

中国专利 :CN101710306A ,2010-05-19

[4]

一种面向航天软件的软件可信性度量方法 [P].

赵文波 ;

杨海成 ;

张刚 ;

刘军 ;

经小川 ;

张伟 ;

庞涪川 ;

梁光成 ;

郑重 .

中国专利 :CN103970537A ,2014-08-06

[5]

一种面向航天软件的软件可信性衡量方法 [P].

不公告发明人 .

中国专利 :CN108205488A ,2018-06-26

[6]

一种软件可信性量化评估与设计方法 [P].

陈仪香 ;

马煜婧 ;

李岩 ;

王保华 .

中国专利 :CN107038111A ,2017-08-11

[7]

一种嵌入式软件可信属性建模与验证方法 [P].

邵瑛 .

中国专利 :CN107908557B ,2018-04-13

[8]

一种嵌入式软件可信属性建模与验证方法 [P].

庄毅 ;

倪思如 ;

顾晶晶 ;

霍瑛 ;

许海洋 .

中国专利 :CN103488568B ,2014-01-01

[9]

基于软件缺陷的软件可信性定量评估方法 [P].

李晓红 ;

胡昌 ;

王翔宇 ;

杜洪伟 ;

曹燕 .

中国专利 :CN101819617A ,2010-09-01

[10]

一种基于缺陷分析的软件可信性评价方法 [P].

柳懿真 ;

李晓红 ;

石红 ;

王翔宇 ;

徐超 .

中国专利 :CN102073823A ,2011-05-25

← 1 2 3 4 5 →