面向安全苛求软件的测试用例自动生成

来源 :计算机应用研究 | 被引量 : 6次 | 上传用户:zhk42
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
其他文献
对遥感图像分类是遥感图像信息获取的重要手段。统计分类方法在遥感图像分类中运用得很普遍,同时统计分类方法还是各种新兴分类方法的基础。文章主要研究了各种统计分类方法在遥感图像分类中的应用,在此基础上运用核密度估计Bayes分类方法、BP神经网络分类法进行分类,并与传统的统计分类方法进行比较。
糖尿病肢体动脉闭塞性硬化症是糖尿病三大血管病变之一,其中下肢动脉闭塞可发展为糖尿病足,是致残的重要原因。笔者2007-01。2009-01应用川芎嗪与疏血通注射液联合治疗糖尿病下
针对区分服务的定量描述和提供问题,基于比例区分模型提出了一种丢包率比例区分的确保服务,并给出了一种基于丢包率测量和动态调节RED队列最大丢包概率因子的实现机制。作为区分服务模型的一种扩充,丢包率比例区分服务有利于运营商制定细致的价格策略,也便于用户平衡价格和性能因素选择合适的服务。
综述了国内外花卉产业的发展背景及趋势,在分析湖南省与长沙市花卉产业发展现状的基础上,指出了存在着花卉品种单一、花卉协会作用没有得到应有发挥、苗木生产与销售脱节、缺少
通过查阅资料、实地调查、重点户访谈、集市调查等方法,全面了解景东县景福乡岔河村的非木材林产品的采集利用情况。分析了非木材林产品对当地社区的影响,指出了村民在采集利用
采用比浊法消解和定容、721型分光光度计测定重庆市主城区3个污染级区域不同种类植物叶片的含硫量,以计算主要绿化树种叶片的吸硫能力,结果表明:落叶阔叶树种叶片的含硫量〉常绿
1材料与方法1.1实验动物 清洁级Wistar雄性大鼠87只,体重(120±20)g,由浙江中医药大学动物实验中心提供。1.2药物与试剂温阳化气合剂由附子6g、桂枝6g、茯苓15g、半夏9g、海藻9
目的:观察益气补肾口服液抗胃癌术后癌细胞转移的效果及其对生活质量、外周血象、免疫功能的影响。方法:103例胃癌术后脾肾亏虚证的患者随机分为治疗组(益气补肾口服液配合化疗)6
为了使企业度量活动满足企业各层级角色的度量需求,提出了一个建立企业集成化软件过程度量体系的方法,给出了一个度量模型及其典型应用,描述了一个企业集成化软件过程度量系统的体系结构及功能。在系统支持下,企业度量活动的效率得到了有效提升。