马臻 作品数:9 被引量:24 H指数:4 供职机构: 中国联合网络通信集团有限公司 更多>> 发文基金: 国家高技术研究发展计划 陕西省自然科学基金 陕西省教育厅科研计划项目 更多>> 相关领域: 自动化与计算机技术 更多>>
基于免疫算法的HLR软件系统测试用例生成 被引量:2 2008年 提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。 马臻 陈天 李元 孙苗 郭锐关键词:免疫遗传算法 疫苗 基于免疫算法的电子渠道软件测试用例生成 2011年 提出了一种基于免疫遗传算法的电子渠道软件测试用例生成模型,并介绍了免疫遗传算法的基本思想.通过将免疫遗传算法与传统遗传算法和随机算法在电子渠道软件测试用例生成中的比较,说明了免疫遗传算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性. 马臻关键词:免疫遗传算法 疫苗 一种支持构件化软件测试用例生成的免疫算法 被引量:4 2006年 提出了一种支持构件化软件测试用例生成的改进的免疫遗传算法(Improved Immune Genetic Algorithm,简称IIGA),证明了算法的收敛性,并介绍了算法的基本思想。通过将IIGA算法与传统遗传算法在构件化软件测试用例生成中的比较,验证了算法的正确性、高效性。 马臻 张毅坤 李俊义 魏芳 解建仓关键词:免疫遗传算法 算法收敛性 基于免疫算法的电子商城软件系统测试用例生成 2012年 本文提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的电子商城软件测试用例生成模型(Model ofTest Case Generation of EM Software,简称MTCGES),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在电子商城软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 马臻关键词:免疫遗传算法 基于免疫遗传算法的构件化软件测试用例生成 被引量:9 2006年 提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 马臻 张毅坤 梁荣 鲁晓锋 徐艳丽 解建仓关键词:免疫遗传算法 疫苗 基于遗传算法的构件化软件测试用例生成研究 随着软件规模的不断扩大,高效率和高质量的软件开发成为现代软件工程学研究的热点。基于构件的软件工程(Component-Based Software Engineering,简称CBSE)是为了保证高效、优质地进行软件开发... 马臻关键词:遗传算法 构件化软件 测试用例 自动生成技术 文献传递 基于XML的数字媒体资源管理系统设计与实现 被引量:2 2008年 数字媒体资源是当前存储和交换信息的主要形式,对其进行有效的管理和高效的利用对信息和知识具有重大意义。介绍了对各种数字媒体资源(包括文本、图片、音频、视频等)进行存储、管理以及应用的实现方法。满足数字媒体资源拥有者收集、保存、查找、编辑、发布各种信息的功能要求,同时为数字媒体资源的授权使用者提供了在线和简便的内容访问平台,从而实现了对数字媒体资源的高效管理和高效利用。 李博 崔杜武 马臻关键词:编目 信息孤岛 基于XML的构件化软件集成测试方法研究 被引量:4 2006年 分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。 邢传玉 张毅坤 马臻关键词:XML DTD 规约 软件过程建模中的并行性挖掘与延拓技术研究 2005年 针对软件过程建模中存在的诸多问题,提出了一个基于并行性挖掘与延拓技术的软件过程建模模型,并利用此模型对火车调度系统进行了建模。结果表明,该模型正确且工作效率高。 马臻 张毅坤 魏芳关键词:PETRI网