您的位置: 专家智库 > >

徐士华

作品数:13 被引量:12H指数:1
供职机构:黑龙江司法警官职业学院更多>>
发文基金:黑龙江省教育厅科学技术研究项目黑龙江省教育科学规划课题黑龙江省科技攻关计划更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 8篇期刊文章
  • 2篇会议论文

领域

  • 9篇自动化与计算...
  • 1篇文化科学

主题

  • 6篇测试覆盖准则
  • 5篇软件体系结构
  • 5篇体系结构
  • 3篇软件测试
  • 3篇化学抽象机
  • 3篇CHAM
  • 3篇标号
  • 3篇标号迁移系统
  • 3篇抽象机
  • 2篇院校
  • 2篇网络
  • 2篇计算机
  • 2篇计算机网
  • 2篇计算机网络
  • 2篇高职
  • 2篇高职院校
  • 2篇WRIGHT
  • 2篇测试数据
  • 1篇信息技术
  • 1篇信息资源

机构

  • 10篇黑龙江司法警...
  • 7篇哈尔滨师范大...

作者

  • 10篇徐士华
  • 5篇赵磊
  • 3篇吕莉媛
  • 2篇伦立军
  • 2篇姚丽丽
  • 2篇李继武
  • 1篇赵磊
  • 1篇赵国生

传媒

  • 3篇微电子学与计...
  • 1篇微型机与应用
  • 1篇数字技术与应...
  • 1篇科教导刊(电...
  • 1篇中文科技期刊...
  • 1篇中国科技期刊...
  • 1篇2008全国...

年份

  • 3篇2017
  • 3篇2011
  • 2篇2010
  • 2篇2008
13 条 记 录,以下是 1-10
排序方式:
基于CHAM的SA级全路径覆盖方法被引量:1
2010年
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
赵磊徐士华赵国生伦立军
关键词:软件体系结构标号迁移系统测试覆盖准则化学抽象机
高职院校计算机网络专业人才培养质量保障体系的构建
2017年
高职计算机网络技术专业正面临一场机遇和挑战,明确人才培养目标要解决方向问题,办出自己的特色是解决生存问题,实训基地的建设是解决人才培养的质量问题。?本文针对现阶段计算机网络技术专业人才培养模式存在的问题,对计算机网络专业人才培养模式进行探索与实践。
徐士华李继武姚丽丽
关键词:计算机网络
基于CHAM的SA级全路径覆盖方法
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试。
赵磊徐士华
关键词:软件体系结构标号迁移系统测试覆盖准则化学抽象机
文献传递
基于软件体系结构的测试路径生成方法被引量:7
2008年
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。
赵磊伦立军徐士华
关键词:软件体系结构测试数据测试覆盖准则
刍议大数据下开放信息资源共享平台的构建研究被引量:1
2017年
伴随大数据时代与人工智能时代的来临,数据对于人们的生活和工作越来越重要.开放信息资源共享平台,作为大数据发展的产物,对各行各业的发展具有十分重要的意义.本文从大数据下开放信息资源共享平台的构建原则入手,对其构建目标进行了简要分析,然后对高职院校的信息资源共享平台的构建方案进行了详细介绍,以供参考.
徐士华李继武姚丽丽
关键词:信息技术信息资源共享平台高职院校
基于Wright的SA级测试路径生成方法
2011年
软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则。根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想。以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的。
徐士华赵磊吕莉媛
关键词:软件体系结构软件测试测试覆盖准则
基于Wright的SA级测试路径生成方法
软件体系结构描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.本文在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即动态行为图(BG图)来表示相关的构件间的动态...
赵磊徐士华赵国生
关键词:软件体系结构软件测试测试覆盖准则
文献传递
面向路径的测试数据生成技术研究
2011年
本文论述了面向路径的软件测试方法,对测试中的路径选择和测试数据自动生成进行了分析,着重研究了面向路径的测试数据生成中的区间代数、迭代松弛和遗传算法等方法,最后指出了软件测试技术的发展方向。
徐士华赵磊吕莉媛
关键词:软件测试测试数据区间代数遗传算法
基于扩展CHAM的SA级路径覆盖方法
2011年
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.
徐士华吕莉媛赵磊
关键词:标号迁移系统测试覆盖准则化学抽象机
基于计算机网络虚拟实验室建设研究
2017年
随着时代的发展,科技进步对人才的创新思维和实践能力的培养提出了更高要求。在职业教育中,学生创新思维和实践能力的培养需要比普通公共教学占用更多的教学资源,计算机虚拟实验室建设是发展教学资源的必要手段。
徐士华
关键词:创新思维虚拟实验室
共1页<1>
聚类工具0