论文部分内容阅读
在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用
基于LDRA TESTBED的汇编语言软件测试方法研究
【摘 要】
：
在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用
【机 构】
：
北京航天自动控制研究所
【出 处】
：
航天控制
【发表日期】
：
2004年05期
其他文献
军队院校具有机械性特点的传统行政型教学管理模式,其制约着军队院校教育的不断发展。采用适当分权、对外部环境和内部要素的变动采取灵活应变态度的"适应性思维范式"作为指
我们知道，通过“数据验证”功能的“序列”选项可以制作下拉列表，如图1所示，创建序列之后，可以让用户从列表进行选择，这样可以限制最终用户的数据录人。不过，如果源数据发生变更，我
【正】 所有权是所有制的核心,对全民所有制的正确认识要以正确认识所有权作为其基础。(一)所有权的系统性我们一般都认为所有权是不可分的,具有排它的属性。但是,事实并非如
对某实验贫油预混燃烧室内的不稳定燃烧的触发和特性进行了数值研究.应用非定常N-S方程,Realizable k-ε湍流模型和EDC燃烧模型,对燃烧室在燃用甲烷和氢气两种情形下的燃烧及
建立了测定烟草中涕灭威残留量的方法,即采用甲醇萃取烟草,萃取液中的涕灭威及其代谢物通过过氧化氢氧化转化为涕灭威砜,再用二氯甲烷提取去除干扰,然后用配备火焰光度检测器
农村土地流转问题,一直是影响我国农村经济发展的关键因素。文章通过对当前洪江市农村土地流转状况的分析,归纳出当前农村土地流转过程中存在的主要问题并剖析其原因,提出针
【正】 自70年代后期至今,苏联东欧各国先后减缓经济增长速度,普遍进行了经济调整。其调整的目标、任务是把建设速度调整到适应国力允许的程度,即速度让位给平衡,压低或维持
【正】 随着商品经济的发展,人们越来越重视经济效益,经济效益的高低已成为衡量企业经营好坏的重要标志。特别是在当前普遍推行多种形式经济责任制的条件下,如何评价企业的经
公立医院分配制度改革是卫生体制改革的重要内容之一,也是公立医院改革的重点。搞好公立医院的工资分配制度改革,建立富有活力的分配机制,对调动广大医务人员的工作积极性、