郑红军
- 作品数：3 被引量：28H指数：2
- 供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于软件知识的测试方法
- 在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略.为此集中分析它们的缺陷,并在此基础上提出一种新的测试方法。
- 徐仁佐黄灿郑红军高俊鹏韩弈凡
- 关键词：软件测试
- 文献传递
- NHPP模型完全排错假设的修改被引量：2
- 2005年
- NHPP模型是最具代表性的早期软件可靠性马尔可夫过程的数学模型,但其完全排错的假设与软件开发实际不相适合,在假设软件不完全改错且每次改正错误数为一个可正可负随机变量的基础上,对模型进行求解并对新模型进行了评价。
- 郑红军徐仁佐高俊鹏
- 关键词：NHPP模型故障率
- 基于角色和上下文的访问控制模型被引量：26
- 2004年
- 目前的访问控制模型大多是从系统角度出发以保护资源,在权限控制时没有考虑上下文,如RBAC。随着普适计算时代的到来,要求大量设备互连并自由交互,不仅要注意资源的保护还要考虑程序执行的上下文。在以往研究的基础上提出了基于角色和上下文的访问控制(RCBAC)机制,从角色、上下文的角度建模,依据角色以及上下文的不同对权限进行动态管理。RCBAC适合普适计算中设备主动学习,以满足用户的需要,在RCBAC基本概念的基础上,对模型进行了形式化描述。
- 徐仁佐郑红军陈斌马若锋高俊鹏
- 关键词：访问控制上下文角色普适计算
