论文部分内容阅读
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。
面向安全需求的测试用例自动生成技术研究
【摘 要】
：
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全
【机 构】
：
同济大学电子与信息工程学院,上海大学悉尼工商学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年28期
【基金项目】
：
基金项目：国家自然科学基金（the National Natural Science Foundation of China under Grant No.60674004）.
其他文献
王栋关于"尊身"的思想很少,而关于"安身"的思想则很多。他认为要安身就要懂得保身。王栋的保身安身说主要来自于王艮的明哲保身论。他从保家、保国、保天下的高度阐述了保身
随着高校毕业生就业制度改革的深入和毕业生人数的急剧增加,加强就业指导已成为新形势下提高毕业生就业指导工作质量的重要内容。开设就业指导课是开展就业指导工作的有效途
This paper focuses on discussing the phenomenon of female dominance in education, and especially in language education through the aspects of history, culture a
根据项目的具体情况,结合目前国内景观美化工程建设现状,通过现场查勘对乌海市乌达区乌尔特沟河道挡水建筑物进行了4个方案的优化比选,为工程的兴建提供优质设计。
在农村中,人们往往把宗教与封建迷信联系在一起。其实二者之间存在着很大区别:首先,二者的涵义范畴不同,属于社会意识的不同层次;其次,二者的存在形式、活动方式不同,理论规
语言在维特根斯坦后期哲学中只是一种反形而上学的技术手段。语言由无声转而成为有声,这其中关系到最初的声音的产生以及对象如何由在先过渡为在后的转折,最初的声音其实是一
<正>In Jane Eyre,Charlotte Bronte creates an illustrious and splendid female character Jane Eyre.Jane Eyre is altogether novel,for she owns such highly valued m
对具有分布参数模型的挠性结构提出了模态空间变结构控制方案，利用坐标变换把整个系统分为若干个独立的二维模态子空间.在每个独立的模态子空间内，在给定参数不确定性范围和干
湿式空气氧化技术是在高温、高压下处理高浓度、有毒、有害、生物难降解有机污染物的一种有效的高级氧化技术.概述了湿式空气氧化技术的发展、机理和动力学,并讨论了湿式催化