林宏
- 作品数：4 被引量：21H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于状态图的集成测试研究
- 软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来，随着软件测试理论和技术的不断发展，它已成为软件工程领域内保证软件质量的必不可少的关键过程。
状态图是在为一个复杂反应系统的控制需求建模时提出的...
- 林宏
- 关键词：状态图软件测试
- 文献传递
- 状态图中可同步测试序列生成策略被引量：1
- 2004年
- 对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上,提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略,该策略在不生成积自动机的情况下,通过同步锁和相应的策略解决两种类型的同步问题,避免了组合空间爆炸问题。
- 乔木曾一林宏
- 关键词：状态图有限状态机
- 状态图的并发状态约束及测试用例生成研究被引量：4
- 2004年
- 该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。首先讨论了具有超态的状态图模型,然后给出了状态约束机制及其定义,在此模型的基础上给出了生成可执行测试用例的算法,该算法采用启发式探索,在生成测试用例的过程中就丢弃了不可执行的路径。
- 乔木曾一林宏
- 关键词：状态图
- 基于UML的面向对象软件测试框架被引量：15
- 2003年
- 统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言,基于UML,统一软件开发过程(USDP)提出了软件开发的过程方法。目前,基于UML的软件测试研究中,很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架,该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试,其中,系统测试根据use-case和系统序列图生成测试用例,类族测试根据集成的状态图生成测试用例,类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系,并讨论了各类测试用例的生成方法。
- 林宏曾一
- 关键词：统一建模语言状态图面向对象分析
