乔木

作品数:5被引量:4H指数:1
导出分析报告
供职机构:重庆大学更多>>
发文主题:状态图测试用例有限状态机能力成熟度模型集成能力成熟度模型更多>>
发文领域:自动化与计算机技术经济管理更多>>
发文期刊:《计算机工程与设计》《计算机工程与应用》《计算机工程》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-5
视图:
排序:
状态图中基于事件约束的测试路径覆盖策略被引量:2
《计算机工程》2004年第24期54-55,158,共3页杨献军 曾一 乔木 
 提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。
关键词:状态图 超态 并发事件约束 路径覆盖策略 
状态图中可同步测试序列生成策略
《计算机工程与设计》2004年第7期1188-1191,共4页乔木 曾一 林宏 
对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步...
关键词:状态图 测试序列 同步问题 有限状态机 
状态图的并发状态约束及测试用例生成研究被引量:1
《计算机工程与应用》2004年第14期91-93,共3页乔木 曾一 林宏 
该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。首先讨论了具有超态的状态图模型,然后给出了状态约束机制及其定义,在此模型的...
关键词:状态图 超态 并发状态约束 
软件过程评估与改进模型的比较被引量:1
《重庆大学学报(自然科学版)》2004年第2期51-55,共5页乔木 曾一 吴洪丽 杨献军 
在重点讨论了当今主要的软件过程评估与改进模型,如ISO/IEC15504、CMM、CMMI和我国的软件行业标准SJ/T11234、SJ/T11235的基础上,比较了它们之间的异同和各自的优缺点。旨在为软件企业了解国际标准,选择适合自身的模型,改进自身的软件过...
关键词:软件过程评估 软件过程改善 能力成熟度模型 能力成熟度模型集成 
应用IDEAL模型在小型企业实施软件过程改进
《重庆大学学报(自然科学版)》2003年第8期18-22,共5页吴洪丽 曾一 乔木 
软件过程改进是一个复杂的任务。SEI为了实现软件过程改进,提出了IDEAL模型。但这个模型是源于大企业的经验提出的。该文的目的在于研究IDEAL模型在小型企业的应用,并详细给出了一个运用IDEAL模型实施软件过程改进的过程。
关键词:IDEAL模型 小型软件企业 软件过程改进 软件开发 
检索报告 对象比较 聚类工具 使用帮助 返回顶部