基于UML2.0的软件安全测试方法

来源 :2010年第四届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户：jyx781004

【摘要】

：

提出了一种从LIML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水

【作者】

：

张琛段振华

【机构】

：

西安电子科技大学,计算理论与技术研究所,陕西,西安,710071

【出处】

：

2010年第四届中国可信计算与信息安全学术会议

【发表日期】

：

2010年期

【关键词】

：

软件安全性测试序列图软件测试方法测试用例集自动化水平早期阶段软件设计开发过程基于模型测试技术新特征迁移图转换事件基础

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出了一种从LIML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.

其他文献

浅谈“智慧工地”在电网工程中的应用

期刊

智慧工地电网工程应用

消毒质量(HBSAg)检测方法的改进

我们前几年在医院消毒质量检测工作中，将采样液直接用ＥＬＩＳＡ法进行ＨＢＳＡｇ测定，效果不好，特别是消毒液，如来苏、新洁尔灭、碘酒等，假阳性多，重现性差，我们今年改为将采样液先进行透析处理，再进行测

期刊

消毒质量HBSAg新洁尔灭假阳性采样液中和试验待检样品采样方法来苏操作方法

热电偶温度计量的误差原因与处置技术措施

期刊

热电偶温度计量误差处置技术

针刺镇痛与P2X3受体

疼痛是大多数疾病具有的共同症状，是人类共有而个体差异很大的一种不愉快的感觉，临床上常用的镇痛方法有药物、手术、神经阻滞和物理疗法等，针刺镇痛因其疗效显著、无毒副作用而

会议

针刺镇痛原理临床应用疼痛P2X3受体

十二经脉四肢远端穴位与脊髓神经节段支配的关系

穴位治疗与脊髓神经节段支配的关系，是探索针刺机制的一个较有研究价值的方向之一。已知躯干部穴位具有明显的节段性规律，相邻节段的穴位主治相近；能起远道治疗作用的十二经脉四

会议

岩土勘察在岩土工程技术中的应用

期刊

岩土勘察岩土工程技术高密度电阻率应用

大麻素受体中枢镇痛机制的研究进展

内源性大麻素递质系统包括有多种受体。大麻素受体是一类古老的受体，具有重大的生理意义。其中有两种大麻素受体已经被肯定，分别是大麻素受体-1(cannabinoid receptor-1，简称CB1

会议

探究建筑工程造价的动态管理及控制

期刊

建筑工程造价动态管理控制

浅谈肯尼亚轨道吊真法兰真做总结

本文结合肯尼亚轨道吊项目工程实践，对港口集装箱起重机械制造及安装过程中的技术要点、难点进行了解析说明。

期刊

轨道吊制造技术难点改进措施

建筑工程中全过程工程造价的必要性和措施

期刊

建筑工程全过程工程造价

基于UML2.0的软件安全测试方法

与本文相关的学术论文