邵培南
- 作品数：44 被引量：203H指数：9
- 供职机构：中国电子科技集团公司第三十二研究所更多>>
- 发文基金：上海市科学技术委员会科研基金中国电子科技集团公司创新基金更多>>
- 相关领域：自动化与计算机技术电子电信自然科学总论更多>>
- 一种基于MDA的容错软件开发工具框架设计被引量：2
- 2007年
- 针对软件的高容错性、可靠性等要求,该文给出一种基于模型驱动体系结构开发技术的软件开发工具的框架结构,阐述了如何在工具中扩展对容错软件开发的支持。使用该工具可减少软件容错性描述的困难,提高软件开发的效率。
- 崔红军邵培南严少清
- 关键词：模型驱动体系结构容错软件统一建模语言
- 基于UML顺序图测试用例的生成被引量：10
- 2008年
- 在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实验结果表明,生成的测试用例达到判定覆盖的标准,具有良好的应用前景。
- 李建军朱敏刘晓娟邵培南
- 关键词：测试用例生成UML顺序图XML建模
- CMM成熟度等级关键过程域的实现途径被引量：21
- 2000年
- 主要探索使用美国CA公司Advantage产品族来辅助实现成熟度等级中规定的一些关键过程域(KPA)的途径，以帮助软件开发单位提高其成熟度等级。
- 邵培南曹淑青
- 关键词：关键过程域软件配置管理CMM
- 文档模板的设计与实现被引量：5
- 2000年
- 主要描述了438A、498文档模板的设计与实现。同时详细阐述了如何利用SoDA工具来定制498文档模板的方法。
- 崔红军曹淑青邵培南
- 关键词：文档模板SODA软件工程
- 嵌入式计算机数字化仿真测试环境设计被引量：2
- 2011年
- 传统的嵌入式计算机系统测试方法难以验证各模块软件间的交互和时序及功能协调性,为此,设计基于宿主机的嵌入式计算机数字化仿真测试环境,包括硬件系统基本芯片单元、硬件模块间交互时序和通信机制的仿真实现。该仿真测试环境能保证嵌入式计算机系统的安全性、可靠性和功能处理的正确性。
- 佟雷邵培南凌杨李建军
- 关键词：数字化仿真时钟管理
- 基于XML的应用层安全解决方案被引量：12
- 2003年
- 随着XML技术越来越多地运用到网络应用中，对网络应用的安全提出了新的需求。文章首先讨论了应用层安全涉及的内容，然后提出了基于XML的解决方案，最后分析了该解决方案在XML网络应用中的优势。
- 朱玉邓晓艳邵培南
- 关键词：XML数字签名身份验证访问授权
- 基于格的可验证秘密共享方案被引量：3
- 2020年
- 可验证秘密共享是密码学领域中的一项重要分支.以往可验证秘密共享方案的有效性通常是基于离散对数的数学难题,然而离散对数问题已经被证明在量子计算模型下是不安全的.因此,需要借助格难题去实现可以抵抗量子攻击的可验证秘密共享方案.本文分析现有的可验证秘密共享方案,针对现有方案计算效率低和无法抵御量子攻击的缺陷,利用格密码学中的数学难题,提出一种新的可验证秘密共享方案.该方案相对于以往的可验证秘密共享方案,具有更高的计算效率和抗量子攻击的特性.
- 彭咏邵培南李翔白建峰孟珂举
- 关键词：可验证秘密共享离散对数
- Web服务合成平台研究被引量：3
- 2006年
- Web服务之间的交互是面向服务的架构(SOA)中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构,描述了其中的关键技术,包括流程模板库定义,服务发现,流程设计、分析、执行和监控等。
- 周长寿江水顾华江邵培南
- 关键词：WEB服务合成
- 冗余副本分布式数据库的集成并发控制
- 本文提出了一种基于两段锁方法、乐观法和ThomasR·H的大多数一致算法相结合的冗余副本分布式数据库的集成并发控制算法,给出了算法的正确性证明和基于模拟实验的性能评估。
- 邵培南瞿兆荣
- 文献传递
- 基于textCNN模型的Android恶意程序检测被引量：1
- 2021年
- 针对当前Android恶意程序检测方法对未知应用程序检测能力不足的问题,提出了一种基于textCNN神经网络模型的Android恶意程序检测方法.该方法使用多种触发机制从不同层面上诱导激发程序潜在的恶意行为;针对不同层面上的函数调用,采用特定的hook技术对程序行为进行采集;针对采集到的行为日志,使用fastText算法来提取词向量;最后使用textCNN模型根据行为日志对Android程序进行检测与识别.实验结果表明,该方法对Android恶意程序检测的平均准确率达到了93.3%,验证了该方法对Android恶意程序检测具有较高的有效性与正确性.
- 张雄冠邵培南
- 关键词：ANDROID系统恶意程序检测HOOK技术
