乔木
- 作品数：7 被引量：27H指数：3
- 供职机构：重庆大学更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- CQ银行基于互联网发展公司业务的策略及问题研究
- 在利率市场化时代，中小银行普遍面临大型银行以产品和网点优势把握大型客户资源、经营地域范围和业务范围受到监管限制等一系列问题。面对应对日趋严峻的竞争形势，中小银行、尤其是地处西南地区的CQ银行更是迫切从互联网金融发展大潮中...
- 乔木
- 关键词：商业银行业务管理
- 文献传递
- 基于状态图与Z的测试用例生成研究
- 本文主要针对基于状态图和Z的测试用例生成方法进行了研究.文中首先详细介绍了四种基于有限状态机的测试用例生成方法,对于扩展有限状态机的测试,本文提出了一种将扩展有限状态机转换为等价的测试场景的方法,转换后的测试场景与原扩展...
- 乔木
- 关键词：软件测试有限状态机状态图Z语言
- 文献传递
- 软件过程评估与改进模型的比较被引量：14
- 2004年
- 在重点讨论了当今主要的软件过程评估与改进模型,如ISO/IEC15504、CMM、CMMI和我国的软件行业标准SJ/T11234、SJ/T11235的基础上,比较了它们之间的异同和各自的优缺点。旨在为软件企业了解国际标准,选择适合自身的模型,改进自身的软件过程,提升企业的软件能力,高质量、高效率、低投入地生产软件,提供借鉴。
- 乔木曾一吴洪丽杨献军
- 关键词：软件过程评估软件过程改善能力成熟度模型能力成熟度模型集成
- 状态图中可同步测试序列生成策略被引量：1
- 2004年
- 对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上,提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略,该策略在不生成积自动机的情况下,通过同步锁和相应的策略解决两种类型的同步问题,避免了组合空间爆炸问题。
- 乔木曾一林宏
- 关键词：状态图有限状态机
- 应用IDEAL模型在小型企业实施软件过程改进被引量：8
- 2003年
- 软件过程改进是一个复杂的任务。SEI为了实现软件过程改进,提出了IDEAL模型。但这个模型是源于大企业的经验提出的。该文的目的在于研究IDEAL模型在小型企业的应用,并详细给出了一个运用IDEAL模型实施软件过程改进的过程。
- 吴洪丽曾一乔木
- 关键词：IDEAL模型软件过程改进软件开发
- 状态图的并发状态约束及测试用例生成研究被引量：4
- 2004年
- 该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。首先讨论了具有超态的状态图模型,然后给出了状态约束机制及其定义,在此模型的基础上给出了生成可执行测试用例的算法,该算法采用启发式探索,在生成测试用例的过程中就丢弃了不可执行的路径。
- 乔木曾一林宏
- 关键词：状态图
- 状态图中基于事件约束的测试路径覆盖策略被引量：2
- 2004年
- 提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。
- 杨献军曾一乔木
- 关键词：状态图
