罗景
- 作品数:9 被引量:40H指数:4
- 供职机构:华中师范大学计算机学院计算机科学系更多>>
- 发文基金:国防科技技术预先研究基金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
- 相关领域:自动化与计算机技术动力工程及工程热物理理学文化科学更多>>
- 软件体系结构测试覆盖准则研究被引量:4
- 2005年
- 基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
- 叶俊民赵良罗景王振宇赵恒
- 关键词:软件体系结构测试覆盖准则
- DRTSADL可视化建模及其工具的设计与实现
- 2005年
- 提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。
- 罗景叶俊民赵良陈利
- 关键词:软件体系结构体系结构描述语言可视化建模
- 一种全文检索系统的设计与实现被引量:18
- 2005年
- 在对全文检索有关技术进行分析和研究的基础之上,提出并实现了一个实用的全文检索系统UFRS,它能够处理中英文文档并可以扩展到其它语言,支持多种不同的索引存储方案以及分布式检索。依次讨论了该系统中的存储层、词法语法分析层、系统核心接口层。最后给出了该系统的一种分布式部署方案。
- 涂新辉何婷婷罗景
- 关键词:全文索引倒排文件分布式
- 一种面向对象类级状态测试的形式化方法研究被引量:4
- 2004年
- 面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.
- 赵良叶俊民罗景陈利
- 关键词:面向对象类级测试黑盒
- 基于Web的框架式课件生成系统
- 远程教育的迅速发展,带动了网上课件的制作.与传统的课件相比,框架式的CAI具有了摆脱繁琐的网页制作更新过程,高代码利用率和教学模式统一的特点.本文提出一种完全教学内容无关的基于Web的框架式课件生成方案,并给出了实现该方...
- 罗景
- 关键词:远程教育CAI三层式结构
- 文献传递
- 基于CHAM模型的软件集成测试方法研究
- 基于构件的软件系统的测试问题,应该从构件的提供者和构件的使用者两个角度来看。当构件从提供者交付到使用者时,往往假定单个构件已经进行了彻底的测试,但是一旦这些构件在一个新环境中集成起来时,就可能会发生一些不可预料的结果。
...
- 罗景
- 关键词:化学抽象机
- 文献传递
- 操作系统体系结构风格的比较研究被引量: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
- 基于博弈树的五子棋算法研究
- 在人工智能领域内,博弈是很重要的一个研究分支.通过对博弈的研究,可以解决很多实际问题,使电脑智能向人类智能迈进一大步.1997年,世界头号国际象棋大师卡斯帕罗夫与IBM的超级计算机'深蓝'较量后不得不俯首称臣,让人脑第一...
- 罗景叶俊民赵良陈利涂新辉
- 关键词:博弈树人工智能分布式搜索
- 文献传递