山东威锻机械设备有限公司数控车床官方网站切换城市[全国]-网站地图
推荐产品 :
推荐新闻
技术文章当前位置:行业新闻

基于剖面划分的软件安全性测试需求提取与行为描述方法专利

时间:2026-08-01    作者:admin 点击: ( 1 ) 次

【摘要】 本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法,该方法可分为四个步骤,第一步创建UML用例图与活动图,第二步对UML用例图和活动图提取安全性功能需求,第三步创建软件安全性时序行为图,第四步创建软件测试用例。本发明提供的基于剖面划分的软件安全性测试需求提取与行为描述方法,对软件从UML用例图与活动图两个层面上分析,提取安全性功能测试需求,最后以形式化的方法表示,方法简单明了,通过规范化的分类制表,保证了即使在软件没有提出明确的安全性需求,测试人员也可以提出完备的、规范的、有效的安全性功能测试需求。 【专利类型】发明申请 【申请人】中国人民解放军理工大学 【申请人类型】学校 【申请人地址】210007 江苏省南京市白下区海富巷一号 【申请人地区】中国 【申请人城市】南京市 【申请人区县】玄武区 【申请号】CN201010516149.7 【申请日】2010-10-22 【申请年份】2010 【公开公告号】CN101989230A 【公开公告日】2011-03-23 【公开公告年份】2011 【授权公告号】CN101989230B 【授权公告日】2012-07-04 【授权公告年份】2012.0 【IPC分类号】G06F11/36 【发明人】黄松; 惠战伟; 洪宇; 刘晓明; 姚奕; 胡斌; 任正平; 蒋圆圆; 郑长友; 饶莉萍; 袁利华; 刘艳云 【主权项内容】一种基于剖面划分的软件安全性测试需求提取与行为描述方法,其特征在于:所述方法包括如下步骤:(1)创建UML用例图与活动图;(2)根据UML用例图与活动图建立安全性功能测试需求,建立安全性功能测试需求包括如下步骤:(2‑1)确定UML用例图与活动图的资产,分析需要保护的内容;(2‑2)根据每一种资产,进行威胁识别,采用STRIDE模型,分析可能对资产造成损害的意外事件原因;(2‑3)根据每一种威胁,建立安全机制列表;(2‑4)根据安全机制列表,对应《信息技术安全评价通用准则》提取安全性功能测试需求;(3)根据步骤(2)得到的安全性机制集合以及安全性功能测试需求,创建软件安全性时序行为图;(4)根据软件安全性时序行为图创建软件测试用例。 【当前权利人】中国人民解放军理工大学 【当前专利权人地址】江苏省南京市白下区海富巷一号 【引证次数】3.0 【被引证次数】2 【他引次数】3.0 【被他引次数】2.0 【家族引证次数】3.0 【家族被引证次数】2

未经允许不得转载:http://www.zhongzhencnc.com/1785597139.html

喜欢就赞一下

    【摘要】: 。本发明公开了一种基于偏振光分束成像的旋光角度场探测装置及其测量方法。该装置包括偏振光产生装置、偏振光分束装置、光接收与成像装置、图像采集装置与数据处理系统,所述偏振光产生装置出射一束线偏振光,线偏振光垂直入射到所述偏振光分束装

    发布时间:2026-08-01

    【摘要】本发明公开了一种公用水池智能节水系统,属于节水智能控制领域。该系统包括主控制器(1)、水流检测电路(2)、人体检测电路(3)、电磁阀启动电路(4)、电磁阀(5)和电源模块(7),水流检测电路(2)和人体检测电路(3)均采用传感器模块

    发布时间:2026-08-01

    【摘要】一种内螺纹冷挤压加工质量在线预测方法,其特征是包括在线学习和在线预测两步进行,其中在线学习包括:在加工装置上安装用于检测扭矩和温度的传感器进行信号的采集和将每次加工过程中采集的信号送入计算机中采用泛归一化的处理方法进行特征量的融合,

    发布时间:2026-08-01

    【摘要】本发明公布了一种面向工程的微穿孔板共振吸声结构参数的设计方法,本发明方法如下:第一步,对噪声信号进行频谱分析,根据噪声能量在频率域上的分布情况确定微穿孔板吸声结构的共振频率及共振频率处的吸声系数,并求得相对声阻;第二步,根据工程中结

    发布时间:2026-08-01

    【摘要】本发明属于分子显像领域,公开了一种活体肿瘤显像靶分子及其特异性探针。该靶分子是在肿瘤细胞中异常表达的精子蛋白17(Sp17),该特异性探针由靶向剂和示踪剂组成,其靶向剂是能与Sp17特异性结合的单克隆抗体,其示踪剂是荧光染料或放射性

    发布时间:2026-08-01

    【摘要】本发明公布了一种织物流固耦合模型的动态流场混合分析方法,方法采用计算步骤为:(1)建立织物三维网格模型;(2)基于LS-DYNA的ALE法对织物进行动态分析,得到织物动态变化情况;(3)将瞬时织物外形作为流场边界条件,并且划分贴体网

    发布时间:2026-08-01
山东威锻机械设备有限公司
全国服务热线:15588247377
电话:15588247377
地址:滕州市经济开发区688号
关键词:数控车床数控车床厂家数控车床价格
公司二维码
Copyright 2010-2026 http://www.zhongzhencnc.com/ 版权所有 All rights reserved 鲁ICP备19007456号-7