切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
赞助VIP
赞助VIP 即刻尊享
赞助搜论网 享受下载乐趣
赞助会员免费下论文
每天享受下载服务
享高速下载通道
专享客服优先
立即加入VIP
登 录
注 册
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
全文
搜索
您的位置
首页
期刊论文
面向安全苛求软件的测试用例自动生成
面向安全苛求软件的测试用例自动生成
来源 :计算机应用研究 | 被引量 : 6次 | 上传用户:zhk42
【摘 要】
:
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
【作 者】
:
章文婷
徐中伟
喻刚
【机 构】
:
同济大学电子与信息工程学院信通系
【出 处】
:
计算机应用研究
【发表日期】
:
2009年01期
【关键词】
:
安全苛求软件
测试用例自动生成
安全覆盖准则
safety critical software
automated test data generation
【基金项目】
:
国家自然科学基金资助项目(60674004)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
其他文献
基于统计的遥感图像分类方法
对遥感图像分类是遥感图像信息获取的重要手段。统计分类方法在遥感图像分类中运用得很普遍,同时统计分类方法还是各种新兴分类方法的基础。文章主要研究了各种统计分类方法在遥感图像分类中的应用,在此基础上运用核密度估计Bayes分类方法、BP神经网络分类法进行分类,并与传统的统计分类方法进行比较。
期刊
遥感图像
分类
BAYES分类
核密度估计
BP神经网络
remote sensing image
classification
Bayes classif
川芎嗪与疏血通联合治疗糖尿病下肢动脉病变80例临床观察
糖尿病肢体动脉闭塞性硬化症是糖尿病三大血管病变之一,其中下肢动脉闭塞可发展为糖尿病足,是致残的重要原因。笔者2007-01。2009-01应用川芎嗪与疏血通注射液联合治疗糖尿病下
期刊
糖尿病下肢动脉病变
疏血通注射液
联合治疗
川芎嗪
临床观察
动脉闭塞性硬化症
下肢动脉闭塞
大血管病变
一种丢包率比例区分服务及其实现
针对区分服务的定量描述和提供问题,基于比例区分模型提出了一种丢包率比例区分的确保服务,并给出了一种基于丢包率测量和动态调节RED队列最大丢包概率因子的实现机制。作为区分服务模型的一种扩充,丢包率比例区分服务有利于运营商制定细致的价格策略,也便于用户平衡价格和性能因素选择合适的服务。
期刊
服务区分
丢包率比例区分
最大丢包概率因子
比例区分性能指数
DiffServ
loss proportional differentiation
maxi
长沙市花卉产业发展格局与对策
综述了国内外花卉产业的发展背景及趋势,在分析湖南省与长沙市花卉产业发展现状的基础上,指出了存在着花卉品种单一、花卉协会作用没有得到应有发挥、苗木生产与销售脱节、缺少
期刊
花卉产业
市场竞争
名牌战略
支柱产业
长沙市
flower industry
market competition
prestige strategy
景东县岔河村非木材林产品采集利用的调查分析
通过查阅资料、实地调查、重点户访谈、集市调查等方法,全面了解景东县景福乡岔河村的非木材林产品的采集利用情况。分析了非木材林产品对当地社区的影响,指出了村民在采集利用
期刊
调查分析
非木材林产品
采集利用
景东县
重庆市主城区主要绿化植物叶片含硫量分析
采用比浊法消解和定容、721型分光光度计测定重庆市主城区3个污染级区域不同种类植物叶片的含硫量,以计算主要绿化树种叶片的吸硫能力,结果表明:落叶阔叶树种叶片的含硫量〉常绿
期刊
植物叶片
含硫量
吸硫能力
重庆
leaf blade
sulphur content
sulphur absorbable ability
Chongq
温阳化气合剂对慢性肾功能衰竭大鼠TGF-β1表达影响的实验研究。
1材料与方法1.1实验动物 清洁级Wistar雄性大鼠87只,体重(120±20)g,由浙江中医药大学动物实验中心提供。1.2药物与试剂温阳化气合剂由附子6g、桂枝6g、茯苓15g、半夏9g、海藻9
期刊
TGF-Β1表达
温阳化气
雄性大鼠
慢性肾功能衰竭
实验研究
合剂
中医药大学
WISTAR
益气补肾口服液抗胃癌术后转移的临床观察
目的:观察益气补肾口服液抗胃癌术后癌细胞转移的效果及其对生活质量、外周血象、免疫功能的影响。方法:103例胃癌术后脾肾亏虚证的患者随机分为治疗组(益气补肾口服液配合化疗)6
期刊
胃肿瘤
肿瘤转移/预防和控制
@益气补肾口服液/治疗应用
人类
一个集成化软件过程度量系统的设计与实现
为了使企业度量活动满足企业各层级角色的度量需求,提出了一个建立企业集成化软件过程度量体系的方法,给出了一个度量模型及其典型应用,描述了一个企业集成化软件过程度量系统的体系结构及功能。在系统支持下,企业度量活动的效率得到了有效提升。
期刊
软件过程度量模型
业务目标
目标驱动软件度量
实现能力成熟度模型集成
software process measurement model
business
其他学术论文