徐士华
- 作品数：13 被引量：12H指数：1
- 供职机构：黑龙江司法警官职业学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目黑龙江省教育科学规划课题黑龙江省科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于CHAM的SA级全路径覆盖方法被引量：1
- 2010年
- 文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
- 赵磊徐士华赵国生伦立军
- 关键词：软件体系结构标号迁移系统测试覆盖准则化学抽象机
- 高职院校计算机网络专业人才培养质量保障体系的构建
- 2017年
- 高职计算机网络技术专业正面临一场机遇和挑战,明确人才培养目标要解决方向问题,办出自己的特色是解决生存问题,实训基地的建设是解决人才培养的质量问题。?本文针对现阶段计算机网络技术专业人才培养模式存在的问题,对计算机网络专业人才培养模式进行探索与实践。
- 徐士华李继武姚丽丽
- 关键词：计算机网络
- 一种软件体系结构级测试序列生成技术被引量：1
- 2012年
- 软件体系结构(software architecture,SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM(chemical abstract ma-chine,CHAM)描述的SA规格说明生成LTS,并根据测试需求进行测试功能的选取,提出了基于功能的最小LTS图(M-LTS)生成方法,根据McCabe覆盖方法生成M-LTS图的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
- 徐士华吕莉媛赵磊
- 关键词：软件体系结构软件测试标号迁移系统
- 具有多时间粒度的时态数据库规范化问题研究被引量：1
- 2006年
- 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了时态一范式、时态二范式、时态三范式、时态初等关键字范式、时态简单范式、时态Boyce-Code范式,并对它们的规范化程度的高低次序进行了证明。
- 赵磊徐士华
- 关键词：时态数据库时态函数依赖
- 基于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年
- 本文论述了面向路径的软件测试方法,对测试中的路径选择和测试数据自动生成进行了分析,着重研究了面向路径的测试数据生成中的区间代数、迭代松弛和遗传算法等方法,最后指出了软件测试技术的发展方向。
- 徐士华赵磊吕莉媛
- 关键词：软件测试测试数据区间代数遗传算法
