论文部分内容阅读
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求，针对该问题，基于安全苛求软件测试的需求提出一种安全性测试方法，使用场景-事件驱动的安全性测试策略，设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。
通用的安全苛求软件安全性测试方法
【摘 要】
：
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求，针对该问题，基于安全苛求软件测试的需求提出一种安全性测试方法，使用场景-事件驱动的安全性测试策略，设计基
【机 构】
：
上海大学悉尼工商学院,同济大学电子与信息工程学院,上海工程技术大学航空运输学院
【出 处】
：
计算机工程
【发表日期】
：
2010年17期
【基金项目】
：
国家自然科学基金资助项目（60674004）,铁道部科技研究开发计划基金资助项目（2008X003-A,2009X002-A）
其他文献
伴随着时代的变迁与社会的进步,高校学前教育正在面临着前所未有的困难与挑战,学校的管理体制在时代洪流的冲击下不断变革。高校针对学前实践教学人才的重视程度不断提升,向
题目：如图1所示，在y〈0的区域内存在匀强磁场，磁场方向垂直于xOy平面并指向纸面外，磁感应强度为B．一带正电的粒子以速度υ0从O点射入磁场，入射方向在xOy平面内，与x轴正方向的夹角为
目的:分析、探讨DR(数字化X线摄影)技术在肋骨骨折临床诊断中的应用价值。方法:选取2017年1月—2018年3月我院收治的肋骨骨折患者50例,上述患者均接受DR、X线平片检查、体格
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
美对华贸易长期以来存在逆差，2009年美国金融危机爆发之后，其国内外经济遭受严重打击，解决其对华贸易逆差的问题在这一特殊时期变得尤为重要。美国将美对华贸易逆差归因于人民币
高新技术产业集聚对新竹科技园区的发展起着重要的作用，带动了台湾整体经济的转型。本文将从新竹科技园区产业集聚的制度支持角度对其进行分析，以期对我国大陆开发与建设高科技
在英语教学中,发挥学生的主体性是新课改的需要,也是当代中国教育的召唤。那么,英语教学中的赏识教育也逐渐被人们认识和接受,同时也越来越受到教育者的重视。
已有的有关金融运行状态方面的研究文献，主要是选择一部分金融指标来衡量金融发展状况，如金融机构存贷款余额、金融机构数等等。但是作为单一的指标，总存在部分缺陷。本文在参考
目的:研究与分析急性阑尾炎在CT辅助检查诊断中的应用体会。方法:从本院2015年12月—2017年1月期间内接收的急性阑尾炎患者中,随机抽取112名患者,将其分为观察组与对照组,均5
上市公司的发展离不开融资和投资行为,融资是起点。纵观国内外研究文献,对于融资研究的出发点各不相同,而随着市场化进程在我国的不断深入,市场化因素对融资的影响日益显著,