黑龙江省教育厅科学技术研究项目(11531237)
- 作品数：2 被引量：1H指数：1
- 相关作者：赵国生赵磊徐士华伦立军苏岩更多>>
- 相关机构：哈尔滨师范大学黑龙江司法警官职业学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于CHAM的SA级全路径覆盖方法被引量：1
- 2010年
- 文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
- 赵磊徐士华赵国生伦立军
- 关键词：软件体系结构标号迁移系统测试覆盖准则化学抽象机
- 基于PEPA的信息系统可生存性形式化模型
- 2010年
- 本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。
- 赵国生刘海龙苏岩
- 关键词：可生存性随机进程代数形式化建模
- 基于Wright的SA级测试路径生成方法
- 软件体系结构描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.本文在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即动态行为图（BG图）来表示相关的构件间的动态...
- 赵磊徐士华赵国生
- 关键词：软件体系结构软件测试测试覆盖准则
- 文献传递
