Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

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

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

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

高阶辐射换热有限元算法研究

随着航空航天技术的发展,飞行器热结构所需承受的温度越来越高,辐射换热变得非常重要;当前大部分商业软件对于辐射问题的有限元计算方法还是基于一致表面温度和辐射热流假设,使得计算精度和网格密度的矛盾越来越严重.进行了选用高阶单元、采用高斯积分精确计算单元表面变辐射热流方法的研究,从而摆脱了一致表面温度和辐射热流的假设,使得在相同网格密度的情况下计算精度大大提高;同时,从包含辐射换热问题的有限元计算方程出发,采用与有限元数值计算时相同的积分方案,只在独立的积分点处计算辐射热流,克服了积分方法计算效率低的缺点.经与ANSYS的计算结果对比,应用辐射热流积分方法于高阶单元能大大提高计算精度;并且在相同计算精度条件下,此方法的计算效率更高,具有一定的实用价值.     

钢铁产品海上运输管理信息系统的设计与实现

介绍了本溪钢铁集团公司产品从出厂运输到港口，再经海上运输最终到达客户整个运输业务数据的网络管理信息系统的设计与实现，以及该系统的主要功能和特点。该网络信息系统由一台服务器、3个客户机及2个远程客户机组成，在Windows2000的网络平台上，共享服务器端的VFP6数据库系统；在各客户机，采用VFP6中文企业版进行应用程序的开发。     

加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。