实时嵌入式软件的测试技术 被引量：30

1

作者 孙昌爱 靳若明 +1 位作者 刘超 金茂忠 《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期920-924,共5页

实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领... 实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领域的国内外测试现状 ,包括各种测试方法、测试工具、测试策略和存在的问题 .最后 ,对实时嵌入式软件的测试进行了小结 . 展开更多

关键词 软件测试 实时嵌入式软件 测试方法 软件开发

在线阅读 下载PDF 职称材料

基于Python的实时嵌入式软件测试脚本 被引量：20

2

作者 蒋崇武 刘斌 +1 位作者 王轶辰 胡璇 《计算机工程》 CAS CSCD 北大核心 2009年第15期64-66,73,共4页

基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结... 基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。 展开更多

关键词 自动化软件测试 测试脚本 实时嵌入式软件 仿真测试环境 Python脚本

在线阅读 下载PDF 职称材料

实时嵌入式软件测试脚本技术研究 被引量：6

3

作者 殷永峰 刘斌 陆民燕 《计算机工程》 CAS CSCD 北大核心 2003年第1期118-119,共2页

根据当前软件测试脚本技术的发展，结合实时嵌入式软件的特点，提出了脚本化的实时嵌入式软件测试的实现机制，并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。

关键词 实时嵌入式软件 软件开发 软件测试 脚本技术

在线阅读 下载PDF 职称材料

基于Petri的分布式实时嵌入式软件合理性分析 被引量：1

4

作者 陈丽琼 邵志清 +1 位作者 王秀英 范贵生 《计算机科学》 CSCD 北大核心 2008年第8期277-280,299,共5页

合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITP... 合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。 展开更多

关键词 分布式实时嵌入式软件 PETRI网 建模 合理性 验证

在线阅读 下载PDF 职称材料

实时嵌入式软件测试研究 被引量：5

5

作者 于以序 何艳敏 +1 位作者 左雪梅 王陈 《中国测试技术》 2004年第5期3-6,共4页

实时嵌入式软件的应用与开发是当今计算机软件发展领域的一个热点 ,要保证实时嵌入式软件的质量是非常重要的。本文首先分析了实时嵌入式软件的特点 ,接着分析了实时嵌入式软件测试的总体结构和宿主机及目标机的体系结构 ,探讨了脚本语... 实时嵌入式软件的应用与开发是当今计算机软件发展领域的一个热点 ,要保证实时嵌入式软件的质量是非常重要的。本文首先分析了实时嵌入式软件的特点 ,接着分析了实时嵌入式软件测试的总体结构和宿主机及目标机的体系结构 ,探讨了脚本语言及其解释器 。 展开更多

关键词 实时嵌入式系统 实时嵌入式软件 软件测试 脚本 计算机软件

在线阅读 下载PDF 职称材料

嵌入式实时软件模型开发环境研究 被引量：3

6

作者 李允 桂盛霖 +1 位作者 陈更 罗蕾 《计算机科学》 CSCD 北大核心 2012年第S3期226-229,244,共5页

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的... 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。 展开更多

关键词 嵌入式实时软件 模型驱动 模型开发环境 功能安全 实时性

在线阅读 下载PDF 职称材料

面向嵌入式实时软件的需求规约语言及检测方法 被引量：4

7

作者 舒风笛 毋国庆 李明树 《软件学报》 EI CSCD 北大核心 2004年第11期1595-1606,共12页

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时... 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行. 展开更多

关键词 嵌入式实时软件 需求规约语言 需求规约检测 可达图

在线阅读 下载PDF 职称材料

面向嵌入式实时软件系统需求工程环境——SREE 被引量：4

8

作者 舒风笛 毋国庆 王敏 《计算机科学》 CSCD 北大核心 2002年第4期4-8,14,共6页

1前言 软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但... 1前言 软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂.为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE工具的需求工程正不断向着需求工程自动化的方向发展. 展开更多

关键词 软件工程 软件开发 嵌入式实时软件系统 软件需求工程 SREE

在线阅读 下载PDF 职称材料

嵌入式实时软件通用框架模型研究 被引量：3

9

作者 王琼 杜承烈 +1 位作者 李刚 尤涛 《计算机工程与设计》 CSCD 北大核心 2007年第6期1372-1375,共4页

框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通... 框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通信模型以及它们之间的相互依赖关系,并且进行了建模。该模型在某航空机载系统研究中得到了应用并切实提高了软件的开发效率和可维护性,具有一定的工程理论和应用价值。 展开更多

关键词 实时嵌入式系统 嵌入式实时软件 框架模型 资源管理 时间管理 任务调度

在线阅读 下载PDF 职称材料

基于构件的嵌入式实时软件建模与分析 被引量：4

10

作者 张广泉 林苗 戎玫 《计算机工程与科学》 CSCD 2008年第12期137-141,共5页

嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法... 嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。 展开更多

关键词 嵌入式实时软件 UML 时间ER网 组合时间分析

在线阅读 下载PDF 职称材料

嵌入式实时软件可视化开发方法 被引量：2

11

作者 杨仕平 熊光泽 陈慧 《系统工程与电子技术》 EI CSCD 北大核心 2003年第1期98-102,共5页

分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。

关键词 嵌入式实时软件 开发方法 统一建模语言 规范描述语言 映射

在线阅读 下载PDF 职称材料

一种基于构件的嵌入式实时软件框架 被引量：1

12

作者 古幼鹏 桑楠 +1 位作者 熊光泽 覃志东 《计算机科学》 CSCD 北大核心 2004年第12期173-178,共6页

嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口... 嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法,并将接口中的每个方法赋予优先级特性。在此基础上,利用方法连接来描述构件间的交互,采用基于方法连接的可抢占优先级调度算法,从而得到一个全构件化的实时软件框架。最后,我们举了CBRTSF的一个应用例子,并将CBRTSF与相关研究工作进行了比较分析,说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。 展开更多

关键词 嵌入式实时软件 重用性 构件 优先级 接口 扩展性 软件框架 服务 开发周期 规模

在线阅读 下载PDF 职称材料

基于构件的嵌入式实时软件组合时间分析研究

13

作者 林苗 戎玫 张广泉 《计算机工程与应用》 CSCD 北大核心 2009年第11期69-73,88,共6页

在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式... 在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。 展开更多

关键词 嵌入式实时软件 构件 统一建模语言 时间ER网 组合时间分析

在线阅读 下载PDF 职称材料

一种嵌入式实时系统软件的形式化开发方法

14

作者 杨捷 毋国庆 《计算机工程与应用》 CSCD 北大核心 2002年第13期26-29,80,共5页

领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域... 领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望。 展开更多

关键词 嵌入式实时系统软件 形式化开发方法 软件工程

在线阅读 下载PDF 职称材料

一种面向嵌入式实时软件的需求建模语言

15

作者 舒风笛 毋国庆 《计算机科学》 CSCD 北大核心 2005年第2期114-120,共7页

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强... 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。 展开更多

关键词 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持

在线阅读 下载PDF 职称材料

嵌入式软件仿真测试环境软件体系结构研究 被引量：14

16

作者 钟德明 刘斌 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第10期1130-1134,共5页

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software SimulationTesting Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和“4+1”视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间... 利用嵌入式软件仿真测试环境(ESSTE,Embedded Software SimulationTesting Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和“4+1”视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件—实时组件和非实时组件,并按照“管道-过滤器”的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性. 展开更多

关键词 软件体系结构 软件测试 实时嵌入式软件 测试环境 UML

在线阅读 下载PDF 职称材料

一种基于CBSE的嵌入式实时软件建模方法研究 被引量：2

17

作者 夏苑 张为群 《计算机科学》 CSCD 北大核心 2005年第8期213-215,F0004,共4页

基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能... 基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。 展开更多

关键词 嵌入式实时软件 CBSE 建模 RT—UML^＊ LTLC 建模方法 软件开发方法 嵌入式软件 软件工程 构件

在线阅读 下载PDF 职称材料

基于对象的嵌入式实时软件需求模型 被引量：2

18

作者 徐晓东 饶云华 《计算机科学》 CSCD 北大核心 2003年第12期169-171,共3页

1.引言 软件工程就是在软件开发过程中使用一定的方法和技术来指导软件开发,尽量用较少的花费来达到所要求的目标.软件生命周期是软件工程中非常重要的一个概念,是指从分析、设计、编码到测试的整个软件开发过程.软件生命周期对于实施... 1.引言 软件工程就是在软件开发过程中使用一定的方法和技术来指导软件开发,尽量用较少的花费来达到所要求的目标.软件生命周期是软件工程中非常重要的一个概念,是指从分析、设计、编码到测试的整个软件开发过程.软件生命周期对于实施软件工程,开发高质量代码具有指导性的作用. 展开更多

关键词 软件工程 软件开发 软件需求分析 软件生命周期 嵌入式实时软件 软件需求模型

在线阅读 下载PDF 职称材料

基于时间STM的软件形式化建模与验证方法 被引量：6

19

作者 侯刚 周宽久 +2 位作者 常军旺 王洁 李明楚 《软件学报》 EI CSCD 北大核心 2015年第2期223-238,共16页

状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.... 状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性. 展开更多

关键词 时间STM 界限模型检测 时间计算树逻辑 实时嵌入式软件

在线阅读 下载PDF 职称材料

基于构图覆盖的软件需求检测方法

20

作者 王敏 毋国庆 +1 位作者 朱立松 舒风笛 《小型微型计算机系统》 CSCD 北大核心 2003年第11期1963-1968,共6页

以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互... 以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 . 展开更多

关键词 嵌入式实时软件系统 需求规格说明 动态执行模型 构图

在线阅读 下载PDF 职称材料