基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

基于WWW的文档管理

通过对分布式系统，分布式软件工程发展的分析，结合Ｉｎｔｅｒｎｅｔ上的应用，讨论了基于Ｉｎｔｅｒｎｅｔ的文档管理系统的需求，以有基本概念，提出了基于Ｉｎｔｅｒｎｅｔ的分布式文档管理系统的基本结构，并对相关的技术做了概述。     

计算机辅助质量控制图的应用

在现场利用控制图监控生产过程,调查生产过程的状态,了解工序能力是否适宜,实现了预防为主的思想.如果用手工对控制图进行设计和准则判断非常麻烦,难以在实际生产中推广应用.利用计算机辅助控制图,具有准确、方便、直观和快捷的特点.作者设计和开发了"质量控制模拟系统"软件,该软件适用于操作者在现场对生产状态进行分析和判断,及时预防和控制生产过程,也可作为一种有效的辅助教学软件.      

三维控制图在锂离子电池性能监测中的应用

为了在锂离子电池加速退化试验中监测锂离子电池的性能状态,为分选提供依据,引用了质量管理中的控制图方法.在锂离子电池失效机理的分析中,获得了可以表明电池当前性能状态的两个关键参数:开路电压和放电容量,并讨论了它们的关系;采用放电容量和开路电压形式的二维平面点作为三维控制图的主体,通过相关试验数据使用SPSS数理统计软件确定控制上下限;最后使用MATLAB完成三维控制图,并叙述了几种控制图的分析方法.该结论适用于电池产品的验收和分选,也可为评估电池的寿命及可靠性提供依据.     

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

基于工作流的复杂系统虚拟样机项目管理系统

复杂系统虚拟样机是一个协同工作过程,为了对其业务过程和业务数据进行有效管理、改善虚拟样机效率,建立了一个基于工作流的项目管理系统.该系统具有系统管理、项目管理、工作流管理、文档管理、消息管理和信息交互管理等功能.介绍了其层次化、模块化的项目管理系统体系结构,重点介绍了工作流管理系统的体系结构,其模型组成元素和多实例化、流程的动态创建及修改等建模机制,以及工作流运转机制,并给出了该项目管理系统在某虚拟样机开发平台中的应用实例.      

一种基于关键特征的搜索引擎结果聚类算法

为了解决用户在搜索引擎结果列表中寻找所需信息困难的问题,帮助用户快速有效地定位有价值的Web文档,与向量空间模型方法不同,采用基于关键特征的聚类算法(KFC).首先从搜索引擎返回结果的关键词里选择重要的词作为关键特征,然后通过分析特征间的关系对特征聚类,最后基于特征聚类结果实现文档的聚类.通过对实验结果的测试表明了算法的有效性.      

基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

面向星下点轨迹自主维持的星载软件 算法与实现

为实现单星星下点轨迹维持和保持编队卫星间构型关系,提供了星载软件解决方案.给出了卫星漂移模型,并研究了轨控实施策略、轨迹实时匹配等关键技术.依托星务硬件平台,通过软件实现了样本信息处理、控制策略决断、状态自主设置、轨控参数计算等控制过程.以轨道仿真数据为输入,对软件输出与理论结果进行了比较,验证了轨控软件实现的可行性、正确性.自主轨道维持技术将进一步提升卫星的智能化、自动化水平.     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

软件质量度量方法学及其应用

讲述了软件质量度量方法学模型，并讨论了软件质量需求，软件质量度量的成本与效益，度量元和度量数据的定义以及度量结果解释等诸问题。     

软件自动测试的研究与程序实现

从介绍软件系统测试的现状及所采用的测试过程，测试方法入手，对软件自动测试的生命周期，适用范围，实现机制进行了研究，讨论了一种可行的，实用的自动测试的开发过程及方法，并且在此基础上介绍一个基于该方法的自动测试程序的实现。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

一种空间飞行器控制系统软件协同演化方法

针对空间飞行器控制系统软件在开发演化时存在管理复杂、开发过程无序、协同度低的问题,提出一种空间飞行器控制系统软件协同演化的方法。首先对软件演化过程中的演化活动、演化策略进行了分析,之后基于对软件演化活动所得到的演化路径利用有向图进行了建模并给出了其演化活动的排序,最后,对演化路径有向图中出现的并行活动和环的情况进行分析,同时给出了相适应的排序算法。基于该方法,软件演化过程得到规范,较好的解决了复杂情况下演化路径求取困难的问题。     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter

ESA’s medium-class Solar Orbiter mission is conceived to perform a close-up study of our Sun and its inner heliosphere to better understand the behaviour of our star. The mission will provide the clues to discover how the Sun creates and controls the solar wind and thereby affects the environments of all the planets. The spacecraft is equipped with a comprehensive suite of instruments. The Energetic Particle Detector (EPD) is one of the in-situ instruments on-board Solar Orbiter. EPD is composed of five different sensors, all of them sharing the Instrument Control Unit or ICU that is the sole interface with the spacecraft. This paper emphasises on how the hardware/software co-design approach can lead to a decrease in software complexity and highlights the versatility of the toolset that supports the development process. Following a model-driven engineering approach, these tools are capable of generating the high-level code of the software application, as well as of facilitating its configuration control and its deployment on the hardware platforms used in the different stages of the development process. Moreover, the use of the Leon2ViP virtual platform, with fault injection capabilities, allows an early software-before-hardware verification and validation and also a hardware–software co-simulation. The adopted solutions reduce development time without compromising the whole process reliability that is essential to the EPD success.