-
题名基于安全策略模型的安全功能测试用例生成方法
被引量：6
- 1
-
-
作者
张敏
冯登国
陈驰
-
机构
中国科学院软件研究所信息安全国家重点实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第10期1686-1692,共7页
-
基金
国家"八六三"高技术研究发展计划基金项目(2007AA120404
2007AA120405)~~
-
文摘
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.
-
关键词
安全策略模型
安全功能测试
测试用例生成
自动化测试
基于类型的划分
-
Keywords
security policy model
security functional test
test case generation
test automation
type-based partition
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名软件安全性测试方法与工具
被引量：21
- 2
-
-
作者
施寅生
邓世伟
谷天阳
-
机构
北京系统工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第1期27-30,共4页
-
文摘
软件的应用越来越广泛,规模和复杂度不断提高,软件中的安全缺陷与漏洞也在不断增多,软件安全性问题日益突出。软件安全性测试是保证软件安全性、降低软件安全风险的重要手段。论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向。
-
关键词
安全性测试
安全功能测试
安全漏洞测试
语法测试
模糊测试
-
Keywords
security testing
security functional testing
security vulnerability testing
syntax testing
fuzz testing
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名电动汽车用电池管理系统硬件在环仿真测试研究
被引量：9
- 3
-
-
作者
杨刘倩
徐兴无
张敏
王自卫
-
机构
合肥国轩高科动力能源有限公司
-
出处
《中国测试》
CAS
北大核心
2018年第A01期160-165,共6页
-
基金
基于多级安全技术的高比能量电池的集成与应用项目(2016YFB0100307)
-
文摘
随着电动汽车行业发展,电池管理系统面临快速开发和多样性的矛盾,同时对控制系统的鲁棒性要求和可靠性要求日趋增加,为实现开发与测试同步,实现电池管理系统的功能安全测试要求,将硬件在环仿真测试应用到电池管理系统测试中。该文阐述如何在SCALECXIO的基础上搭建测试平台,通过Matlab simulink建立被控对象模型。将被测电池管理系统与硬件在环仿真系统形成闭环,实现电池管理系统车辆运行环境的模拟。以电池管理系统充电策略的测试为例,描述硬件在环仿真测试用例的编写,通过自动化测试的方式输出测试结果。
-
关键词
电池管理系统
硬件在环仿真
SCALECXIO
功能安全测试
自动化测试
-
Keywords
battery management system
hardware in loop
SCALECXIO
functional safety test
automated testing
-
分类号
TM912
[电气工程—电力电子与电力传动]
-
