论文部分内容阅读
介绍了航天软件测试中常用的测试用例设计方法，描述了航天软件常采用的可靠性措施（如“三取二”冗余设计、时序冗余控制等），提出了采用等价类划分和因果图进行用例设计的方法，给出了其工程应用实例，并总结了软件测试需求分析、用例设计的基本思路和步骤。
航天软件测试用例设计方法应用
【摘 要】
：
介绍了航天软件测试中常用的测试用例设计方法，描述了航天软件常采用的可靠性措施（如“三取二”冗余设计、时序冗余控制等），提出了采用等价类划分和因果图进行用例设计的方法，给出
【机 构】
：
北京航天自动控制研究所
【出 处】
：
航天控制
【发表日期】
：
2006年4期
其他文献
摘要：新会计准则的颁布与实施，对会计人员的会计职业判断提出了新的要求与挑战，如何应对新要求与挑战，并提高会计职业判断能力，具有积极的现实意义，成为当前不可回避的任务。 关键词：新会计准则；职业判断 一、会计职业判断与新会计准则的关系 会计职业判断是指会计人员按照相关法律法规、职业准则、国家统一会计制度的要求，根据企业目前及未来的竞争环境与生产经营特点，结合财会理论知识和执业经验，通过识别
在网络环境中,对目标主机进行监控是很重要的。通过监控,可以了解目标主机是否在线,提供了哪些共享资源等。一般情况下,我们都是使用PING命令对目标主机进行检测,使用起来既
主要研究卫星远距离稳态伴飞的控制问题。首先,根据线性相对运动方程（C-W方程）设计了能实现稳态伴飞的变结构控制律,并证明了其在有干扰情况下的有效性。然后,推导了适用于远距
LiFePO4以其优良的综合性能,被认为是最有前途的锂离子电池正极材料。文章阐述了LiFePO4材料的结构、制备方法、改性研究。
农村公路建设事关万千农民切身利益,事关国民经济发展全局,任重而道远。当前,农村产业结构调整力度进一步加大,农村经济呈快速发展趋势。但农村道路交通实施的较薄弱,尤其是
1整地黑麦最好的前作是大豆、玉米和瓜类.黑麦繁茂性好、病虫害少,在良好整地和充分施肥的田块,可以连作.种黑麦要求地面平坦,土壤疏松.前作收获后随即耕翻耙地,翻地深度在20
【正】党中央、国务院历来十分重视军转干部的安置工作,把军转干部作为建设有中国特色社会主义事业的一支重要力量。四平市曾经连续多年被全国双拥工作领导小组命名为全国双
<正> 八月三十日经济生活报《您好》周未刊中刊登了一则:“涂改有奖贴花、冒领巨额奖金”,定海两银行竟一直蒙在鼓里,直至罪犯投案自首才真相大白的消息。使人读后十分震惊,
中小企业可持续发展的关键在于企业的财务管理。中小企业在实际中存在诸如分工职责不明确等问题,针对目前中小企业内部财务管理出现的问题,文章提出解决途径:多渠道融资;树立