共查询到20条相似文献，搜索用时 0 毫秒
1.
首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点． 相似文献
2.
首先讨论了Ａｄａ软件测试与认下模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构，功能和特点。 相似文献
3.
4.
使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使用Ada不可能自然而又有效地进行面向对象的程序设计。因此,必须对Ada进行面向对象的扩充。本文讨论进行相应扩充所涉及到的一些问题。 相似文献
5.
简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。 相似文献
6.
论述了Ａｄａ软件测试结果分析系统的功能，它的方案设计以及界面风格，此系统是集成化的Ａｄａ软件测试与分析系统中的主要工具之一，它不仅能够帮助用户分析与测试软件系统，还能对软件系统的理解和维护提供有力的支持。 相似文献
7.
Ada层次化并发软件模型的研究 总被引：1，自引：0，他引：1
姚淑珍 《北京航空航天大学学报》1998,24(4):415-417
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率. 相似文献
8.
Ada软件的动态测试技术研究 总被引：2，自引：0，他引：2
为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。 相似文献
9.
先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得工最终的惟一合法释义，最后给出了一个例子。 相似文献
10.
Ada动态测试中遗传算法的参数编码方法 总被引：1，自引：0，他引：1
史晓华 《北京航空航天大学学报》1998,24(4):438-440
介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法. 相似文献
11.
奚红宇 《北京航空航天大学学报》1997,23(1):12-17
介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。 相似文献
12.
利用复合材料可设计性强和树脂基体轻量化的特点,并解耦“材料-结构-性能”之间的相互关联,是汽车复合材料结构件设计的难点。螺旋弹簧是汽车悬架系统的主要承载部件,工况复杂,一般采用性能极佳的弹簧钢;若用轻质复合材料替代,必须兼顾安全性与轻量化,设计难度很大。针对上述问题,提出了一种复合材料螺旋弹簧“材料-结构-性能”集成设计方法。依据弹簧受压缩载荷时,簧丝截面应力分布,确定选择±45°铺层的碳纤维复合材料（CFRP）;在满足刚度、强度和安装空间约束条件下,根据复合材料力学和弹簧刚度、强度理论模型,确定初始弹簧几何参数;再进一步利用有限元数值仿真进行校验;将正交实验设计法和有限元数值模拟结合,建立轴向压缩刚度和强度随几何参数变化的响应面模型;采用遗传算法获得满足弹簧性能要求下轻量化效果最佳的设计结果。优化后的复合材料弹簧方案比金属弹簧质量减轻34.4%,为复合材料汽车结构件设计提供了可行的整体解决方案和产品开发实例。 相似文献
13.