徐士华
- 作品数：11 被引量：12H指数：1
- 供职机构：黑龙江司法警官职业学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目黑龙江省教育科学规划课题黑龙江省科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于CHAM的SA级全路径覆盖方法被引量：1
- 2010年
- 文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
- 赵磊徐士华赵国生伦立军
- 关键词：软件体系结构标号迁移系统测试覆盖准则化学抽象机
- 一种软件体系结构级测试序列生成技术被引量：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年
- 本文论述了面向路径的软件测试方法,对测试中的路径选择和测试数据自动生成进行了分析,着重研究了面向路径的测试数据生成中的区间代数、迭代松弛和遗传算法等方法,最后指出了软件测试技术的发展方向。
- 徐士华赵磊吕莉媛
- 关键词：软件测试测试数据区间代数遗传算法
- 基于扩展CHAM的SA级路径覆盖方法
- 2011年
- 化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.
- 徐士华吕莉媛赵磊
- 关键词：标号迁移系统测试覆盖准则化学抽象机
