• 第一考试网微信公众号第一考试网微信公众号
湖南大学校徽

湖南大学 缪力

985211 双一流

  • 湖南省长沙市岳麓区麓山南路麓山门
  • http://www.hnu.edu.cn/ http://admi.hnu.edu.cn
  • 0731-88823560,0731-88823067,0731-88823578,0731-88823565
  • admi@hnu.cn

  1. 院校大全
  2. 湖南大学
  3. 软件学院
  4. 缪力

缪力

姓名： 缪力
学校： 湖南大学
学院： 软件学院
职称：  

缪力老师的简介

<div class> <table width> <tbody> <tr> <td width> 姓    名</td> <td width> 缪力</td> <td width> 性    别</td> <td width> 男</td> </tr> <tr> <td width> 籍    贯</td> <td width> 湖南省长沙市</td> <td width> 民    族</td> <td width> 汉</td> </tr> <tr> <td width> 出生年月</td> <td width> 1972..9</td> <td width> 政治面貌</td> <td width> 九三学社</td> </tr> <tr> <td width> 最后学历</td> <td width> 博士</td> <td width> 行政职务</td> <td width>  </td> </tr> <tr> <td width> 职    称</td> <td width> 副教授</td> <td width> 获该职称年份</td> <td width> 2008</td> </tr> <tr> <td width> 联系方式（Email）</td> <td colspan width> Miaoli2000@163.com</td> </tr> <tr> <td width> 学习经历</td> <td colspan width> 2002-2006 湖南大学计算机与通信学院 博士研究生1997-2000 兰州理工大学控制与信息系 硕士研究生1990-1992 南京邮电大学有线系 </td> </tr> <tr> <td width> 工作经历</td> <td colspan width> 2006- 湖南大学软件学院 教师2000-2002 神州数码有限公司 软件工程师1992-1997 湖南省邮电规划设计院 助理工程师</td> </tr> <tr> <td width> 主要研究方向或领域</td> <td colspan width> 软件测试，程序分析</td> </tr> <tr> <td width> 教学情况</td> <td colspan width> 主讲研究生与本科生的《软件测试技术》课程参与软件学院“做中学”部分课程讲授</td> </tr> <tr> <td width> 科研情况（包括项目名称、经费等）</td> <td colspan valign width> 2008.1~2010.12 国家自然科学基金 基于模型检查的软件错误定位研究 50万 排名第二 2007.1~2009.12 国家自然科学基金 基于流分析的分布式JAVA程序模型检测技术研究 27 万 排名第二  </td> </tr> <tr> <td width> 发表论文与著作  </td> <td colspan width> <p> 1.缪力，张大方，通信下推系统的一种有界可达算法，计算机工程与应用，2008.9</p> <p> 2.缪力，张大方，模型检查的两阶段程序框架，计算机应用，2007.12</p> <p> 3.  Li Miao, Dafang Zhang, Generate Test Sequences for UML Statecharts，The Chinese Journal of Electronics，2006.2(SCI，EI)</p> <p> 4. 缪力，张大方，非定态程序测试数据自动生成，电子学报, 2005.2(EI)</p> <p> 5．缪力，张大方，扩展有限状态机（EFSM）的后向切片，软件学报, supl, 2004.12(EI)</p> <p> 6. Li Miao, Dafang Zhang,Xuedong Yang, Regression testing of Object-Oriented programs based on backward-slicing class members, Proceeding of SCI2004, July 2004,Orlando,USA（ISTP）</p> <p> 7.  缪力，张大方，基于类成员后向切片的面向对象程序回归测试，装甲兵工程学院学报，2004.2</p> <p> 8.  Li Miao, Dafang Zhang,Xuedong Yang , Regression Testing of Object-Oriented Programs on Class Members Granularity, Proceeding of SCI2004,July 2004,Orlando,USA （ISTP）</p> <p> 9. 缪力，张大方，基于UML Statechart 语义的测试序列生成方法.计算机工程与科学,2005.4</p> <p> 10.缪力，张大方，类成员级粒度的面向对象程序回归测试，中国计算机大会，2003.10</p> <p> 11. 缪力，张大方，计算有互斥机制的并发程序的程序切片,第十届全国容错计算学术会议, 2003.9</p> <p> 12.缪力，张大方，并发过程间程序分析不可判定的一种新证明方法，计算技术与自动化, 2007.2</p> <p> 13.Dan Zhao, Da-fang Zhang, Li Miao, Formal Verification of 802.11MAC Layer Handoff Process Using SPIN Model Checker, Proceeding of World Congress on Software Engineering 2009(WCRE’09), accepted （EI/ISTP）</p> <p> 14.赵丹，张大方，缪力，一种解决Java 程序中虚函数调用问题的方法，上海师范大学学报，2005.5</p> <p> 15. 王鹏飞, 张大方, 缪力，包含异常处理的Java 程序切片，计算机工程与科学, 2005.4</p> <p> 16.蒋曹清, 张大方, 缪力，一种回归测试后的错误定位方法，计算机工程与科学，2005.4</p> <p> 17.  郭伟, 张大方, 缪力, 闵应骅 基于SPIN 实现UML Statechart 的模型检查，计算机工程与应用，2008.1</p> <p> 18. 金秀, 张大方, 缪力，IEEE802.11 中WEP 认证协议的SPIN 模型检查，计算机工程与设计，2008.3</p> <p> 19. 黄谷，缪力，张大方，基于模型检查的TCP连接管理协议分析与验证，计算机工程与设计，2009.10</p> <p> 20． 姜玉蓉，缪力，张大方，刘潇潇，Linux进程间通信的模型检测, 计算机科学, 2008 ，Vol 35( 10)，297-299</p> <p> 21.周志远,　张大方,　缪 力，对Java并发程序进行模型检测， 计算机工程与设计 ,2009.2</p> <p> 22. 周志远，张大方，缪 力，赵 丹，黄 谷，基于Java内存模型的并发程序模型检测，第五届中国测试学术会议(CTC08)，苏州，2008.5</p> </td> </tr> <tr> <td width> 获奖情况</td> <td colspan width>   </td> </tr> <tr> <td width> 社会服务情况</td> <td colspan width>   </td> </tr> </tbody> </table> </div>

缪力老师的课程

  • 暂时还没有收录缪力老师的课程列表，我们将尽快添加。

    • 缪力老师的论文

    • 暂时还没有收录缪力老师的论文，我们将尽快添加。

    缪力老师参与的论文

    • 暂时还没有收录缪力老师参与的论文，我们将尽快添加。

    软件学院 其他教师

    关于缪力老师的相关提示：以上内容并非是缪力老师的最新情况，请以缪力老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com