共查询到17条相似文献,搜索用时 562 毫秒
1.
首先讨论了Ada软件测试与认下模型,然后描述根据上述模型建立的Ada软件测试与认证活动的支持系统,并介绍该系统的结构,功能和特点。 相似文献
2.
论述了Ada软件测试结果分析系统的功能,它的方案设计以及界面风格,此系统是集成化的Ada软件测试与分析系统中的主要工具之一,它不仅能够帮助用户分析与测试软件系统,还能对软件系统的理解和维护提供有力的支持。 相似文献
3.
4.
Ada软件的动态测试技术研究 总被引:2,自引:0,他引:2
为改善软件质量,对Ada软件的动态测试技术进行了研究,并且就以下内容着重进行了讨论;Ada软件的分析与理解;Ada软件的动态测试原则与方法;Ada软件的动态测试工具ASDT。 相似文献
5.
奚红宇 《北京航空航天大学学报》1997,23(1):12-17
介绍了一些软件的性能检测技术和检测工具,并对它们的实用性和适用性进行了讨论然后,着重讨论了Ada软件系统的并行机制,并详细分析了与软件的性能密切相关的语法现象,从而设计出合理的处理方法。 相似文献
6.
简要介绍了有关数据流分析的基本概念之后,较为着重地讨论了一种基于静态分析的Ada软件数据流分析方法,同时也讨论了分析过程中一些实现原理。实践结果表明,文中讨论的数据结构,实现机制与处理方法是行之有效的。 相似文献
7.
先简要介绍了Ada语言中的3种重载现象,并给出了表达式的二叉树存储结构,随后阐述了判别重载的基本算法,即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配,来取得工最终的惟一合法释义,最后给出了一个例子。 相似文献
8.
一种软件测试过程的博弈模型 总被引:2,自引:0,他引:2
为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性. 相似文献
9.
软件测试过程的基本模型POCERM 总被引:14,自引:2,他引:14
软件测试过程包含着测试计划的制定,测试大纲的编制,测试用例的生成,测试的实施,测试结果与问题的分析和报告,以及软件测试的管理等项工作。 相似文献
10.
11.
张社英 《北京航空航天大学学报》1997,23(1):61-67
讲述了软件质量度量方法学模型,并讨论了软件质量需求,软件质量度量的成本与效益,度量元和度量数据的定义以及度量结果解释等诸问题。 相似文献
12.
空间对接动力学仿真软件DODASS及其工程应用 总被引:4,自引:0,他引:4
首先简要阐述了研究空间对接动力不的目的意义,主要技术难点和攻关内容及其数学模型建立的方法和步骤;然后重点介绍了基于周边式对接机构系统的空间对接动力学模型而开发成功的DODASS分析仿真软件及其工程应用的初步仿真曲线;最后给出了可供工程设计参考的初步结论。 相似文献
13.
软件自动测试的研究与程序实现 总被引:9,自引:0,他引:9
张茂林 《北京航空航天大学学报》1997,23(1):74-80
从介绍软件系统测试的现状及所采用的测试过程,测试方法入手,对软件自动测试的生命周期,适用范围,实现机制进行了研究,讨论了一种可行的,实用的自动测试的开发过程及方法,并且在此基础上介绍一个基于该方法的自动测试程序的实现。 相似文献
14.
企业信息系统领域的软件建筑模型 总被引:10,自引:0,他引:10
陶伟 《北京航空航天大学学报》1998,24(4):403-406
将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作. 相似文献
15.
Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题. 相似文献
16.
Ada层次化并发软件模型的研究 总被引:1,自引:0,他引:1
姚淑珍 《北京航空航天大学学报》1998,24(4):415-417
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率. 相似文献
17.
领域分析与建模研究 总被引:4,自引:0,他引:4
基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求. 相似文献