赵良
- 作品数：8 被引量：22H指数：4
- 供职机构：华中师范大学计算机学院计算机科学系更多>>
- 发文基金：国防科技技术预先研究基金软件工程国家重点实验室开放基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术动力工程及工程热物理理学更多>>
- 软件体系结构测试覆盖准则研究被引量：4
- 2005年
- 基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
- 叶俊民赵良罗景王振宇赵恒
- 关键词：软件体系结构测试覆盖准则
- DRTSADL可视化建模及其工具的设计与实现
- 2005年
- 提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。
- 罗景叶俊民赵良陈利
- 关键词：软件体系结构体系结构描述语言可视化建模
- 一种面向对象类级状态测试的形式化方法研究被引量：4
- 2004年
- 面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.
- 赵良叶俊民罗景陈利
- 关键词：面向对象类级测试黑盒
- 基于CHAM描述的类簇级测试用例生成方法研究
- 面向对象技术以它独有的优越性被程序员广泛使用，使得软件开发过程简单化，系统模块化以及重用性程度提高等等，这给软件行业带来了光明的前途，但面向对象技术因具有封装、继承以及多态等特性，又使得软件测试变得困难。
本文提...
- 赵良
- 关键词：软件测试化学抽象机
- 文献传递
- drtsadl的可视化建模方法研究
- DRTSADL是一种针对分布式实时系统的体系结构描述语言[1].本文首先通过一个实例介绍了DRTSADL的语法结构.接着从DRTSADL的语法结构中抽取基本建模元素,完成可视化建模的设计方案.最后介绍DRTSADL可视化...
- 叶俊民罗景赵良陈利
- 关键词：软件体系结构体系结构描述语言可视化建模
- 文献传递网络资源链接
- 基于博弈树的五子棋算法研究
- 在人工智能领域内,博弈是很重要的一个研究分支.通过对博弈的研究,可以解决很多实际问题,使电脑智能向人类智能迈进一大步.1997年,世界头号国际象棋大师卡斯帕罗夫与IBM的超级计算机'深蓝'较量后不得不俯首称臣,让人脑第一...
- 罗景赵良陈利叶俊民涂新辉
- 关键词：博弈树人工智能分布式搜索
- 文献传递网络资源链接
- 操作系统体系结构风格的比较研究被引量：9
- 2005年
- 从软件体系结构风格的角度分析研究了目前存在的操作系统体系结构,并给出了常用操作系统体系结构的相关信息,这些结论使我们能更好地采用操作系统体系结构设计中的设计决策。
- 赵良叶俊民罗景陈利
- 关键词：体系结构操作系统
- 基于扩展CHAM模型的软件集成测试方法被引量：5
- 2005年
- 基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。
- 叶俊民罗景朱凯赵良赵恒王振宇
- 关键词：软件体系结构自底向上提供者状态树LTS
