陈蔚薇
- 作品数：14 被引量：52H指数：4
- 供职机构：中国科学院光电研究院更多>>
- 发文基金：中国科学院国防科技创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 嵌入式系统中的代码动态链接模型被引量：5
- 2008年
- 飞行器上的计算机系统软件有时需要更新或升级,为了增加软件更新或升级的灵活性,降低其代价,有必要根据功能对飞行器上的软件进行模块划分,以实现单模块可更新升级。为此,提出了一种适用于嵌入式系统的代码动态链接模型,并以具体项目为背景,阐述了其编程实现的关键部分。该模型为嵌入式系统中软件目标代码复用和软件模块升级奠定了基础,在小卫星等空间飞行器上具有一定的应用价值。
- 张蓝博张善从陈蔚薇
- 关键词：动态链接
- 面向对象主流切片表示法的比较研究被引量：1
- 2008年
- 随着面向对象程序的发展,它的切片表示法也逐步成熟。对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域。最后,对好的切片表示法应该具备的特性进行了总结。
- 王晓华顾逸东陈蔚薇郭丽丽
- 关键词：切片表示法
- 用于空间探测的仿真测试系统
- 本文介绍了一种用于空间探测的仿真测试系统。它采用了以高性能工控机构成的以太网为硬件平台。用图形化编程语言LabVIEW及C++完成了对相关系统的仿真。
- 席隆陈蔚薇
- 关键词：以太网图形化编程语言
- 文献传递
- 嵌入式软件运行剖面建模及测试用例生成被引量：5
- 2008年
- 软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法。
- 陈小光陈蔚薇郭丽丽
- 关键词：软件运行剖面马尔科夫链测试用例
- Windows环境下多线程调度的安全监控被引量：1
- 2006年
- 安全监控是维护软件系统并保证软件系统可靠运行的基本手段。对于实时性要求比较高的应用软件系统,必须慎重考虑安全监控对系统功能和性能的影响,并且还要能获得所有需要的监控信息。采用一系列有效措施,分析了如何在尽可能不影响系统功能和性能的前提下,对系统的运行状态进行实时的监视、统计和及时反馈。论述了安全监控的设计原理,在基础上给出了安全监控的实现方案。该方案在实际应用中具有令人满意的效果。
- 王赟华陈蔚薇
- 关键词：安全监控多线程统计分析WINDOWS
- 安全关键软件的安全性保障工作研究被引量：3
- 2008年
- 安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从安全性角度对开发行为进行规范和保障。概述了安全性相关的概念,并给出了一个完整的安全关键软件安全性保障工作流程。
- 王金波赵光恒陈蔚薇
- 关键词：安全关键软件安全保障软件生命周期
- 嵌入式系统仿真研究被引量：1
- 2008年
- 嵌入式环境的仿真能够为嵌入式软件的测试和可靠性的提高提供有力保障。当前的指令集环境模拟不能满足实际测试中的需要,基于此,构建了满足最小测试子集的仿真系统。该系统以关键控制单元为触发点,仿真嵌入式汇编软件的运行环境,实现了全数字、跨平台仿真,并支持脱离硬件的系统联调。为其它嵌入式系统的仿真提供了可借鉴经验。
- 王晓华顾逸东陈蔚薇张涛
- 关键词：嵌入式系统数字仿真
- 模型驱动开发方法的应用研究被引量：22
- 2006年
- 为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自动生成,进行了某空间实验设备的热控系统建模设计,实现了模型验证和代码自动生成。
- 王赟华陈蔚薇
- 关键词：UML模型驱动架构模型驱动开发代码自动生成
- 基于任务剖面关键度划分的嵌入式软件可靠性增长模型
- 2009年
- 以任务剖面的关键度划分为出发点,考虑测试的有效性,建立一种随测试覆盖率变化的嵌入式软件可靠性增长模型,改变了以往模型中可靠性提高单纯依靠测试时间增长以及可靠度结果虚高等不足。提出在测试成本一定的情况下对软件进行可靠性增长测试时,关键度较高的任务剖面应该获得较多的测试工作投入,即获得较高的测试覆盖率。
- 王金波赵光恒陈蔚薇
- 关键词：计算机软件测试剖面可靠性增长模型
- 基于Markov链的软件任务剖面建模方法研究与实现被引量：1
- 2009年
- 针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具。通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值。
- 尚景亮陈蔚薇郭丽丽
- 关键词：软件测试技术MARKOV链
