赵明
- 作品数:7 被引量:23H指数:3
- 供职机构:西安理工大学更多>>
- 发文基金:陕西省教育厅科研计划项目更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于UML的面向对象软件测试系统被引量:9
- 2005年
- 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
- 张保卫张毅坤赵明崔杜武
- 关键词:软件测试UML状态图
- 利用BISON++设计UML规约扫描器被引量:1
- 2004年
- 在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
- 张保卫张毅坤赵明
- 关键词:软件测试UML扫描器
- 类状态测试用例自动生成方法与实现
- 本文设计了状态测试数据自动生成工具原型工具aTDG4SM(automatedTestDataGeneratorforStateMachine)。aTDG4SM通过设计UML规约的相应语法,借助bison++语法分析程序生...
- 赵明
- 文献传递
- 基于状态机代码合成技术的状态测试数据生成
- 2004年
- 目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。
- 张毅坤赵明崔杜武
- 关键词:状态机测试数据生成遗传算法
- 基于中国邮路算法及UIO序列的状态机测试序列生成被引量:6
- 2004年
- 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。
- 赵明张毅坤张保卫
- 关键词:遗传算法
- SiC MOSFET功率模块的结构设计与仿真
- 近年来,以SiC为代表的宽禁带半导体器件受到了各界的广泛关注并成为研究热点。其中,SiCMOSFET以其高压、高频及高温的特性成为高功率密度电力电子应用场合的首选,本文主要分析了1200V/660ASiCMOSFET模块...
- 赵明
- 关键词:封装设计寄生参数模拟仿真
- 基于遗传算法的测试用例生成工具研究被引量:7
- 2005年
- 以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高用例的搜索效率。同时对实现测试用例生成过程中的关键技术进行了分析。最后结合算例对软件进行了验证。
- 赵明张毅坤沈建雄崔杜武高海龄
- 关键词:测试用例自动生成GA改进自适应遗传算法插装