朱凯
- 作品数：9 被引量：10H指数：2
- 供职机构：华中师范大学更多>>
- 发文基金：国防科技技术预先研究基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于相似路径集生成的程序故障定位方法
- 本文在测试路径生成、测试输入数据生成和动态程序切片等技术的支持下，结合“近邻模型”思想，利用程序削片方法分析失效测试路径与相似成功测试路径的差异。在分析现有的路径相似度量方法及相似路径生成算法基础上，定义了一种新的基于程...
- 朱凯
- 关键词：故障定位
- 文献传递
- 基于随机回报网的管道-过滤器体系结构风格建模及其实例研究
- 在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的'管道-过滤器'体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的'管道-过滤器'体系结构进行建模.本...
- 熊华根叶俊民张涛朱凯
- 关键词：软件体系结构随机回报网建模技术
- 文献传递
- 一种基于DRTSADL规约的软件体系结构切片方法
- 2005年
- 切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计缺陷打下基础.主要讨论一种基于形式化规约的软件体系结构切片方法.
- 叶俊民朱凯彭波涛郑艳艳
- 关键词：软件体系结构软件体系结构描述语言切片
- 因特网语料自动下载分析软件的设计
- 随着计算机应用的发展和普及,特别是因特网的普及,获取语料、建立大规模语料库变得越来越容易。本文讨论了如何从因特网上下载语料,如何解析HTML页面并提取出其中对语料库有用的语料数据的方法。
- 朱凯周杰何婷婷
- 关键词：语料库网页下载HTML
- 文献传递
- GUI应用程序的一种描述模型研究
- 图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.本文提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
- 叶俊民郑艳艳彭波涛朱凯
- 关键词：软件测试图形用户界面GUI应用程序
- 文献传递
- 一种基于DRTSADL规约的软件体系结构切片方法
- 切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计缺陷打下基础.本文即主要讨论了一种基于形式化规约的软件体系结构切片方法.，以供大家参考。
- 叶俊民朱凯彭波涛郑艳艳
- 关键词：软件体系结构
- 文献传递
- GUI应用程序的一种描述模型研究
- 2005年
- 图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
- 叶俊民郑艳艳彭波涛朱凯
- 关键词：GUI形式化描述事件流图
- 基于随机回报网的管道-过滤器体系结构风格建模及其实例研究
- 2006年
- 在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的"管道-过滤器"体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的"管道-过滤器"体系结构进行建模.本文的工作将使得对"管道-过滤器"体系结构的建模具有更大的应用范围.
- 熊华根叶俊民张涛朱凯
- 关键词：软件体系结构随机回报网建模技术
- 基于扩展CHAM模型的软件集成测试方法被引量：5
- 2005年
- 基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。
- 叶俊民罗景朱凯赵良赵恒王振宇
- 关键词：软件体系结构自底向上提供者状态树LTS
