论文部分内容阅读
该文从软件测试充分性的基本理论出发，针对星载计算机软件的特点，提出了一种结构测试和功能测试相结合的测试用例生成方法。此方法通过一种形式化描述语方描述软件的设计，得到被测程序的等价类划分，从而达到辅助生成测试用例的目的。文中说明了此方法的原理与实现，最后介绍了它在一个实际程序测试中的应用。
星载计算机软件测试用例生成法研究及实现
【摘 要】
：
该文从软件测试充分性的基本理论出发，针对星载计算机软件的特点，提出了一种结构测试和功能测试相结合的测试用例生成方法。此方法通过一种形式化描述语方描述软件的设计，得到被
【机 构】
：
控制工程研究所
【出 处】
：
第八届全国容错计算学术会议
【发表日期】
：
1999年期
其他文献
A species of Asian frog can cleverly adapt the tone of its mating call to ensure that it booms out across the jungle (丛林) to lure(引诱) a mate, scientists hav
Fans of the Harry Potter series of books have flocked (聚结) to Harrys second big-screen adventure,Harry Potter and the Chamber of SecretsAnd for director Chris
【摘要】在大学中存在着不同的体育群体，例如篮球队、足球队、甚至一些自发组织的体育群体，而身为群体里的学生就平时课外的体育活动就会很多，而单个个体的大学生的体育活动就会很少甚至没有。本文浅议体育群体对培养大学生体育意识和能力的互动探究。 【关键词】体育群体 体育意识和能力 培养 互动 探究 在我国经济飞速发展的今天，大学生显然已经成为了我国经济、科技等各方面发展的未来主要动力，然而世界经济高速发
【摘要】随着素质教育的进一步推荐，也为了更好的适应社会的发展，教育部门对教学课堂的要求也在不断的更新，不断的提高，并且明确下文要求“通过中学阶段的数学学习,使学生能够具有初步的创新精神和实践能力”，这完全符合中华复兴的历史要求。 【关键词】探讨 高中生 创新能力 新课程对教师的教学方式、方法有了新的要求，摒弃了传统的教师“授业”“解惑”的专制型教学，构建创新的教学课堂，以学生为主体，培养学生的
目的探讨结直肠癌术后患者应用营养支持的进展。方法结合结直肠癌术后患者特点,综合营养支持特点。结果与结论结直肠癌术后患者应尽早应用营养支持,且以肠内营养为主。
Obje
Hobbit Frodo and his small band of allies continue their quest to destroy the Ring while the Dark Lord Sauron still holds Middle-earth in his evil grip. Welcome
期刊
综合性学习是初中语文教学中不可或缺的一部分，在教材中处每单元之末，它独立于篇目之外，又与单元阅读篇目相辅相成，既是知识的延展又是能力的提升的重要途径，它与阅读、作文并行且
虚拟计算机联锁软件是为了支持铁路车站计算机联锁系统安全软件测试评估平台而开发的,它实现了对测试平台的各子系统的检验,为测试平台的开发和调试以及保证它的高可用性和高