检索结果-南通市图书馆

西北工业大学学报 1998年第2期16卷 261-265页

作者：李伟华王备战李书书西北工业大学

在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。

关键词：测试用例生成等价类划分实时软件

在线全文

学校读者我要写书评

暂无评论

面向维护的实时软件时间变化敏感点检测

计算机学报 2013年第12期36卷 2455-2467页

作者：汤恩义李宣东南京大学软件新技术国家重点实验室南京210093 南京大学软件学院南京210093 南京大学计算机科学与技术系南京210093

正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护... 详细信息

正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护阶段引入这些错误的可能性会更大.目前,还没有研究结果可以在软件修改发生之前,通过分析系统的时间关系信息来帮助指导软件维护人员减少或者避免引入时间相关的错误.在这样的背景下,文中提出了一种实际可用的分析途径来解决这一问题,称之为时间变化影响分析.这一解决途径在软件维护人员做出修改之前就可以分析软件内在的时间关系信息,从而帮助维护人员在软件的实际演化前预测可能带来的时间影响.在具体的操作上,可以通过告知软件维护人员程序代码中的某些位置点可能会对整个程序任务的执行时间产生很大的影响,来提醒他们修改这些位置点的代码时应当特别小心.由于这些点对程序任务的执行时间敏感,我们称之为时间变化敏感点.文中通过一种基于扰动的测试实现来检测程序中的时间变化敏感点,通过在程序中插桩不同的代码时延,达到对执行时间的扰动作用.对这些扰动作用下的程序执行时间数据进行统计,得到程序中各个位置点对时间影响的定量度量.对于实际使用的大规模程序,该方法通过集成静态程序分析技术提高吞吐量和减小漏报率.文中对分析途径做了原型实现,并在Mlardalen WCET基准用例集和开源项目Free Lossless Audio Codec(FLAC)上做了实例评估.评估结果展示了该方法的可行性和有效性.

关键词：软件维护实时软件时间变化影响分析基于扰动的测试时间变化敏感点

在线全文

学校读者我要写书评

暂无评论

基于场景构件式实时软件设计的一致性检验

软件学报 2006年第1期17卷 48-58页

作者：胡军于笑丰张岩李宣东郑国梁计算机软件新技术国家重点实验室(南京大学)

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 详细信息

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.

关键词：实时软件构件式设计模型检验接口自动机顺序图统一建模语言

在线全文

学校读者我要写书评

暂无评论

一种支持实时软件资源建模与分析的方法

东南大学学报（自然科学版） 2010年第3期40卷 500-505页

作者：祝义黄志球曹子宁南京航空航天大学信息科学与技术学院南京210016 徐州师范大学计算机科学与技术学院徐州221116

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用... 详细信息

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.

关键词：实时软件资源建模通信顺序进程

在线全文

学校读者我要写书评

暂无评论

实时软件图形设计环境的代码自动生成器

计算机应用 2003年第3期23卷 27-30页

作者：刘晓燕张云生赵国庆李俊昌昆明理工大学信息工程与自动化学院云南昆明650093

基于对图形实时软件设计环境的抽象执行体分析以及对WindowsNT内核实时多任务执行体的分析 ,给出了两个系统的建模对象之间的映射关系。以此为基础给出了代码自动生成器的设计及实现方案 ,将图形设计生成的文本描述语言翻译为NT下的系... 详细信息

基于对图形实时软件设计环境的抽象执行体分析以及对WindowsNT内核实时多任务执行体的分析 ,给出了两个系统的建模对象之间的映射关系。以此为基础给出了代码自动生成器的设计及实现方案 ,将图形设计生成的文本描述语言翻译为NT下的系统调用及C +

关键词：实时软件图形设计环境代码自动生成器实时多任务操作系统

在线全文

学校读者我要写书评

暂无评论

声纳基阵信号模拟器实时软件的开发

声学技术 2004年第3期23卷 146-149,162页

作者：李蕾吴永清蔡惠智中国科学院声学研究北京100080

声纳基阵信号模拟器是一种实用的、可近似仿真实际监测目标及使用环境的阵元级信号发生器。声纳基阵信号模拟器的使用将有效缩短数字式声纳的研制周期,大大减少湖试和海试的次数。文章中以通用信号阵列处理系统为运行环境,详细介绍了一... 详细信息

声纳基阵信号模拟器是一种实用的、可近似仿真实际监测目标及使用环境的阵元级信号发生器。声纳基阵信号模拟器的使用将有效缩短数字式声纳的研制周期,大大减少湖试和海试的次数。文章中以通用信号阵列处理系统为运行环境,详细介绍了一种声纳基阵信号模拟器实时多任务系统的软件设计与开发过程,分析了该软件系统中所有基本任务的功能以及多任务之间的通信关系,并且最后给出了该实时多任务软件在通用信号处理机上的实现拓扑图。实践证明,该套软件功能完备,且具有很好的实时性和稳定性,非常适用于现代声纳工程领域。

关键词：实时软件通用实时多任务系统软件系统实时性拓扑图软件设计与开发信号模拟器信号阵列阵元

实时软件功能规模度量一致性控制的研究与实践

在线全文

学校读者我要写书评

暂无评论

实时软件功能规模度量一致性控制的研究与实践

作者：刘庆和国防科学技术大学

学位级别：硕士

软件规模度量在软件项目管理过程中扮演着十分重要的角色。COSMIC方法是主流的功能规模度量方法之一，被广泛应用于商业软件领域和实时软件领域。由于缺少实时软件度量指南，以及理解和应用COSMIC方法的若干问题，实时软件的度量难以获... 详细信息

软件规模度量在软件项目管理过程中扮演着十分重要的角色。COSMIC方法是主流的功能规模度量方法之一，被广泛应用于商业软件领域和实时软件领域。由于缺少实时软件度量指南，以及理解和应用COSMIC方法的若干问题，实时软件的度量难以获得良好的一致性。本文主要对实时软件功能规模度量的一致性控制进行研究。本文在研究和使用COSMIC方法的基础上，总结了实时软件度量实践中常见的不一致现象，评估了它们的影响程度，分析了影响一致性的原因，然后提出了五个方面的一致性的控制方法。应用试验表明，本文提出的控制方法能有效提高实时软件度量的一致性。本文主要工作如下： 1、分析了实时软件度量的一致性问题。总结了实时软件度量实践中五类15种常见的不一致现象，分别通过案例进行了阐述和剖析。评估了每种不一致现象的影响程度，找出了对度量结果影响相对较大的三个度量步骤：软件层次的划分、功能过程的识别和数据移动的识别。分析了影响一致性的主观和客观原因，为提出一致性控制方法提供了依据。 2、提出了实时软件度量的一致性控制方法。针对一致性的影响原因，提出了五个方面的一致性控制方法：提高软件产物质量，确保软件产物能够被度量人员一致地理解;解决COSMIC方法的应用难点，确保度量人员能够完全理解和掌握COSMIC方法;提供实时软件领域度量指导，帮助度量人员理解和分析实时软件;迭代度量步骤，确保度量人员在重要度量步骤达成一致;检查度量阶段，确保度量人员遵循正确无误的度量过程。除提高软件产物质量之外，对其余四种控制方法进行了详细阐述。 3、对一致性控制方法在实时软件度量中的实际效果进行了验证。选择实时软件案例应用上述一致性控制方法，分析和验证对实时软件度量进行一致性控制的实际效果。试验结果表明，应用本文提出的一致性控制方法，能够大幅减少度量不一致现象，有效提高度量的一致性。

关键词：功能规模度量一致性控制实时软件 COSMIC

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

实时软件最坏情况执行时间估计研究

实时软件最坏情况执行时间估计研究

作者：岳峰大连理工大学

学位级别：硕士

构造一个实时系统的时候，安全性和程序最坏情况执行时间(WCET)是必需的，为了给出WCET估计值，必须同时考虑到系统的软件特性和硬件特性。传统的方法是通过在目标平台上实际执行程序来得到估计值的，但是这种方法既容：易出错，也不能... 详细信息

构造一个实时系统的时候，安全性和程序最坏情况执行时间(WCET)是必需的，为了给出WCET估计值，必须同时考虑到系统的软件特性和硬件特性。传统的方法是通过在目标平台上实际执行程序来得到估计值的，但是这种方法既容：易出错，也不能保证估计结果的正确性。另一种方法是静态估计程序的WCET值，该方法必须考虑到所有可能的程序流和硬件特性的作用。在静态估计方法中有三种常用WCET分析方法，它们分别是隐藏路径列举技术(IPET)、基于路径(Path-based)的计算方法和基于树(Tree-based)的计算方法。本文主要提出两种基于路径的计算实时程序最坏情况执行时间的方法，这两种方法首先检测程序中存在的分支约束，然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突，并按照结点对的形式保存在相应的冲突数组里，在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径，提高搜索的效率，最终在可行执行路径集中选择具有最大执行时间的执行路径。与以往的方法相比，本文的方法既避免了穷举所有执行路径(其中包括可行执行路径和非可行执行路径)带来的复杂度，也不需要在排除非可行执行路径之后重新回到流程控制图(CFG图)源结点重新搜索执行路径，而是在检测冲突的同时适当地调整流程控制图(CFG图)并更新当前路径即可。本文在给出这两种方法详细说明的同时也给出了它们对于标准实验程序的实验结果，并与其他方法做一个比较，实验证明对于语句间语义依赖关系比较强的程序能够快速且有效地给出评估结果。

关键词：实时软件最坏情况执行时间基于路径计算冲突检测

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于微软视窗系统实时软件的一般构架

计算机应用研究 2002年第6期19卷 103-105页

作者：周畅朱德森陈绵云华中科技大学控制理论与工程系湖北武汉430074

从实际角度出发 ,提出并详细分析了一种在Microsoft的非实时Windows操作系统上实现实时软件的一般性方案。

关键词：微软视窗系统实时软件构架 Windows 消息事件中断操作系统

在线全文

学校读者我要写书评

暂无评论

一种模块化的实时软件可靠性测评方法

计算机工程与应用 2005年第8期41卷 51-54页

作者：朱虹虹雷航熊光泽电子科技大学计算机科学与工程学院成都610054

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模... 详细信息

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。

关键词：实时软件可靠性测评安全关键实时系统贝叶斯理论