搜索结果: 1-15 共查到“计算机科学技术 嵌入式软件”相关记录38条 . 查询时间(0.105 秒)
西安电子科技大学与华为技术有限公司开展嵌入式软件方向建设研讨会（图）
西安电子科技大学 华为技术有限公司 嵌入式软件 研讨会
2021/12/14
2021年12月11日，在第19届CCF全国嵌入式系统大会期间，为促进国家特色化示范性软件学院建设，西安电子科技大学与华为技术有限公司就嵌入式软件方向建设开展研讨。研讨会在西安电子科技大学青岛计算技术研究院举行，参与人员包括华为技术有限公司和上海海思技术有限公司专家、西安电子科技大学王泉副校长、本科生院教学管理人员及计算机科学与技术学院教师。
电子科技大学嵌入式系统及应用课件Chapter3 嵌入式软件系统基础。
软件可靠性是软件质量评估最重要的指标之一，随着软件工程和组件重用技术的发展，近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性，调研现有体系结构的可靠性评估模型，给出了现有体系结构模型的分类和模型代表，并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性，因此重点研究Petri网可靠性评估模型，通过划分时间变迁和瞬时变迁，并引入...
一种面向嵌入式软件体系结构的形式化建模方法
集成模型 模型转换 概率时间自动机 语义一致性
2017/1/12
为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题，结合Object-Z和PTA（Probabilistic Timed Automation）的优点，本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述，而且通过模型转...
国家可信嵌入式软件工程技术研究中心落户上海（图）
国家 可信嵌入式软件工程技术 研究中心 落户上海
2013/5/13
记者从2013年5月8日举行的“2013中国国际嵌入式大会”开幕式上获悉，华东师范大学与中国电子科技集团公司第三十二研究所（简称“中国电科32所”）联合组建的 “国家可信嵌入式软件工程技术研究中心” （简称“国家工程中心”）正式落户上海。该中心的成立将助推我国重大装备制造业的转型升级。
为提高中大型嵌入式软件回归测试的效率，克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端，提出一种函数切片算法FunctionSlice。给出代码影响域的概念，采用函数切片思想对待回归测试用例集进行约简，选取和源代码变化相关的测试用例进行回归测试。实验结果表明，该算法能约简嵌入式软件中的待回归测试用例集，提高回归测试效率，且适用于较复杂的嵌入式系统回归测试过程。
隐藏在一些更大的系统中，管理控制这些系统，并带有微处理器的专用软硬件系统称为嵌入式计算机系统，通常称为嵌入式系统。但不是所有需要嵌入式系统的机器都是因为小才用嵌入式计算机系统的，有些机器很大也需要嵌入式系统，这些嵌入式计算机系统本身也很大，有些比笔记本电脑还大。隐藏在一些更大的系统中，管理控制这些系统，带有微处理器并且没有使用操作系统或使用嵌入式操作系统的专用软硬件系统称为嵌入式计算机系统，通常称...
从算法级分析软件功耗和软件特征的关联关系，对嵌入式软件的时间复杂度、空间复杂度和输入规模3个特征进行度量，提出一种基于算法复杂度的嵌入式软件功耗宏模型。设计、训练一种BP神经网络，用于实现功耗函数逼近。仿真实验表明，该功耗函数的估算结果和真实值误差在10%以内，可用于快速估算软件算法在一定输入规模情况下的功耗值，为下一步开展功耗优化工作打下基础。
一种基于场景的嵌入式软件设计方法
嵌入式软件 场景 统一建模语言（UML）顺序图 消息传递自动机
2010/3/26
UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束，得到时间顺序图模板TSDT（Timed Sequence Diagram Template），用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展，得到时间消息传递自动机TMPA（Timed Message Passing Automat...
基于覆盖测试的嵌入式软件自动裁剪
嵌入式软件 插桩 覆盖测试 裁剪
2010/1/13
针对软件移植嵌入式平台时的裁剪问题，提出一个通用的、自动化的裁剪方案。该方案基于覆盖测试思想，利用源代码静态分析技术，在每个函数的首尾插入桩代码，通过执行已插桩的程序，动态地获得函数的覆盖信息。根据函数的覆盖信息，能对软件进行自动化的裁剪。该裁剪方案可以将软件体积减少30%左右。
嵌入式软件动态内存检测工具的设计与实现
动态内存检测 嵌入式软件 内存泄露
2009/10/20
针对嵌入式软件中的内存泄露、内存写溢出等问题，提出嵌入式Linux 平台下数据采集和测试分离的交叉测试方法，设计实现一个嵌入式软件动态内存的检测工具。该工具可以检测软件的内存泄露、内存写溢出、释放野指针和内存管理函数不匹配等问题，通过一个实例验证其有效性和可靠性。
基于Python的实时嵌入式软件测试脚本
自动化软件测试 测试脚本 实时嵌入式软件
2009/8/20
基于Python语言设计一种实时测试脚本，开发扩展模块，实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便，实时性高、描述能力强、具有良好的可复用性，目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试，结果验证了该测试脚本的正确性和实时性。
面向RTEMS的嵌入式软件集成开发环境
远程调试 嵌入式系统 集成开发环境
2009/8/12
实现面向RTEMS的嵌入式软件集成开发环境，提高嵌入式应用程序的可靠性和开发效率。在编译过程中添加缓冲区溢出动态检测模块，从而在程序运行过程中检测到缓冲区溢出，提高了程序可靠性。利用插桩技术实现远程调试环境，结合能对RTEMS进行定制的集成开发环境，提高了嵌入式应用程序的开发和调试效率，缩短了开发周期。
基于模拟器的嵌入式软件动态测试技术
模拟器 嵌入式软件测试 动态测试 单元测试
2009/4/7
提出一种嵌入式软件动态测试框架，该框架以模拟器为运行核心，准确模拟嵌入式硬件的运行状态，给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息，有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。