您的位置: 专家智库 > >

施寅生

作品数:19 被引量:70H指数:4
供职机构:北京系统工程研究所更多>>
发文基金:国家高技术研究发展计划总装备部“十一五”国防预研项目更多>>
相关领域:自动化与计算机技术自然科学总论轻工技术与工程更多>>

文献类型

  • 11篇期刊文章
  • 6篇会议论文
  • 2篇专利

领域

  • 15篇自动化与计算...
  • 2篇自然科学总论
  • 1篇轻工技术与工...

主题

  • 8篇安全性
  • 7篇安全性测试
  • 6篇软件测试
  • 4篇TTCN-3
  • 3篇软件安全性测...
  • 3篇漏洞
  • 3篇WEB应用
  • 3篇WEB服务
  • 2篇信息安全
  • 2篇信息安全技术
  • 2篇语法
  • 2篇语法测试
  • 2篇软件包
  • 2篇软件系统
  • 2篇综合评估
  • 2篇安全技术
  • 2篇UML
  • 2篇WEB服务安...
  • 2篇WEB服务安...
  • 2篇测试充分性准...

机构

  • 19篇北京系统工程...

作者

  • 19篇施寅生
  • 9篇齐璇
  • 8篇王峰
  • 5篇邓世伟
  • 5篇邓波
  • 4篇宗建建
  • 4篇谷天阳
  • 3篇唐乐乐
  • 2篇李海龙
  • 2篇赵亮
  • 2篇许帅
  • 2篇王兵
  • 2篇杨广华
  • 1篇李冬红
  • 1篇战茅
  • 1篇郭勇

传媒

  • 3篇计算机工程与...
  • 2篇清华大学学报...
  • 2篇计算机工程
  • 1篇计算机安全
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇第十六届全国...
  • 1篇全国抗恶劣环...

年份

  • 1篇2018
  • 1篇2015
  • 6篇2011
  • 5篇2010
  • 1篇2009
  • 3篇2008
  • 2篇2007
19 条 记 录,以下是 1-10
排序方式:
UML 测试剖面技术研究与进展
UML模型主要用于描述系统的结构和行为,不适用于描述软件测试的相关内容,如测试配置、测试过程等,所以Object Management Group 组织提出了UML Testing Profile 来支持模型驱动的测试。...
宗建建王峰施寅生
关键词:软件开发软件测试程序语言UML模型
UML测试剖面技术研究与进展
UML模型主要用于描述系统的结构和行为,不适用于描述软件测试的相关内容,如测试配置、测试过程等,所以ObiectManagement Group组织提出了UML TestingProfile来支持模型驱动的测试。本文介绍...
宗建建王峰施寅生
关键词:软件质量
文献传递
基于TTCN-3的Web应用负载测试方法
针对web应用负载测试的需要,提出了一种基于TTCN-3的web应用负载测试方法。该方法采用TTCN-3函数建模用户访问web应用的基本行为,通过并发测试组件模拟并发用户行为,由主测试组件创建大量并发测试组件形成负载并协...
施寅生邓波唐乐乐齐璇
关键词:TTCN-3WEB应用
文献传递
基于威胁模型的软件安全性测试被引量:2
2010年
相对于传统测试主要关注软件的肯定需求,安全性测试则主要关注软件的否定需求。基于威胁模型的软件安全性测试是从攻击者的角度对软件进行测试。使用UML顺序图对安全威胁进行建模,从威胁模型中导出消息序列,从消息序列中导出威胁行为轨迹。程序编码完成后,对代码进行插桩以记录程序运行时的方法调用和执行的轨迹。设计测试用例,执行插桩后的程序并记录程序运行时的执行轨迹,将记录的程序执行轨迹与模型中导出的威胁行为轨迹进行比较,以确定程序中是否存在违反安全策略的威胁行为。
杨广华齐璇施寅生
关键词:安全性测试测试用例统一建模语言顺序图
Web服务安全性测试技术研究被引量:11
2007年
Web服务的应用越来越广泛,Web服务中的安全缺陷与漏洞也在不断增多,Web服务安全性问题日益突出。Web服务安全性测试是保证Web服务软件安全性、降低安全风险的重要手段。本文提出了一种Web服务安全性测试框架,论述了Web服务主要的安全功能需求、实现标准及实施安全功能测试的一般原理,并从攻击Web服务的角度对Web服务安全漏洞测试进行了系统介绍,分析了Web服务常见的安全漏洞及测试方法。
施寅生邓世伟谷天阳
关键词:WEB服务安全性测试
基于TTCN-3的Web应用功能测试方法被引量:2
2010年
针对日益增长的Web应用功能测试需求与测试重用需求,提出了一种基于TTCN-3的Web应用功能测试方法。该方法结合分层测试的思想以及TTCN-3的特点,提出将Web应用功能测试划分为页面内容测试、会话管理测试、使用场景测试等3个层次,并分别从这3个层次给出了采用TTCN-3进行测试的过程。该方法应用TTCN-3参数化设计测试用例的思想,有效分离了测试设计与测试实现,使测试用例具有高可重用性。结合实例,表明了该方法的有效性。
施寅生王峰齐璇宗建建
关键词:TTCN-3WEB应用测试软件测试
软件系统漏洞风险评估方法及装置
本发明实施例公开了一种软件系统漏洞风险评估方法及装置,涉及信息安全技术领域,解决了现有技术中不能直观准确地对软件系统存在的安全风险进行综合评估的问题。所述软件系统漏洞风险评估方法包括:对软件系统中的软件包依赖元数据进行预...
王兵邓波李海龙赵亮王峰施寅生许帅
文献传递
基于场景模式的嵌入式软件测试用例设计被引量:10
2010年
将场景和模式方法用于嵌入式软件测试用例的设计与生成,通过对被测软件系统需求进行分析建模,将建立的场景模型划分到不同的场景模式中,依据场景模式构建测试场景的状态图,遍历场景状态图以获取测试执行路径,确定相关的测试数据,设计并生成测试用例。实验结果证明,该方法可以较快地设计和生成测试用例,提高测试用例的可重用性,实现对嵌入式软件的有效测试。
杨广华齐璇施寅生
关键词:嵌入式软件测试用例
常用的基于控制流的测试充分性准则被引量:3
2009年
本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。
王峰郭长国齐璇施寅生
关键词:软件测试测试充分性准则控制流
软件安全性测试方法与工具
本文论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,最后总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与...
施寅生邓世伟谷天阳
关键词:软件安全测试安全漏洞测试工具
文献传递
共2页<12>
聚类工具0