摘要：对软件进行功能的确认测试,是检验软件是否构造了正确的产品的一种有效方法。本文以某型号测试设备的测控软件为对象,描述了测试用例的设计,即怎样围绕软件需求,分析需求的每一个剖面,使测试用例能覆盖各个剖面及测试点。测试结果表明,本测试用例设计方法具有较强的实用性,使用效果良好。

摘要：针对安全相关产品须执行安全功能的特性,它的软件质量保证贯穿于软件设计与开发的整个安全生命周期。其中,软件确认测试是最关键、最全面且是最后一步的一项测试活动,由独立于设计开发且具备产品经验的人员进行详细确认为宜。针对安全相关产品软件确认测试的过程及方法研究,首先需要制定详细的软件测试计划,并阐述其具体内容;其次从静态测试和动态测试的角度对软件确认测试方法进行了详细的介绍,包括人工分析检查和动态测试;再次对测试结果的评价提出了详细的要求;最后强调了配置管理的完备性和充分性在确认测试过程中的重要性。

摘要：针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担，另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外，其余的步骤均能自动实现．

摘要：近日，国能科诺商用软件有限公司的”网络化管理系统（SDM)V2．0”成功通过了中国软件评测中心（CSTC)为期2个多月的测试。中国软件评测中心对其功能度、安全性、可靠性、易用性、速度、资源占用率、兼容性．可扩充性、用户文档和用户满意度调查等多个方面进行测试，结果表明SDM V2．0设计思想先进、功能安全、软件针对性强、系统运行稳定。

摘要：为了提高测试用例设计的效率,简化测试用例数量,提出了基于黑盒测试的航天嵌入式软件用例设计方法。阐述了确认测试过程中实用的测试用例设计流程,提出了在设计测试输入数据的基础上加强测试逻辑设计的用例设计方法,并结合实际工程经验,给出了测试用例的总体设计思路。最后,对测试遗漏问题及其原因进行了分析,为今后进行更有效的星载软件测试提供了参考。

摘要：GIS(GeographicInformationSystem)软件的发展趋势使软件系统和操作平台越来越趋向于大型、复杂化、图形用户界面(GUI)、多层体系结构以及依赖于超大型关系数据库等,这使得GIS软件的开发更加复杂,对软件人员的要求也越来越高。为了确保GIS软件项目的质量,降低开发费用,提高系统开发的成功率,必须把正规的、科学的、独立的软件测试工作纳入GIS软件开发的全过程。详细介绍了GIS软件测试的理念、方法、过程和要点。

摘要：面向对象软件测试是面向对象软件开发的一个重要阶段 ,是保证软件质量、提高软件可靠性的关键。本文针对面向对象程序设计语言的特点及其对软件测试的影响 ,以VB(VisualBasic)为例 ,对面向对象环境下的软件测试过程和方法进行分析 ,从而给出面向对象的环境下软件测试的一般方法。

摘要：星载计算机嵌入式软件具有特殊的应用领域和运行环境，要求极高的可靠性和安全性，因此系统软件在设计和实现中同计算机硬件一道大量的采用了一系列的客错机制，如看门狗、三取二等措施。特别是在错误处理和应用一级的客错特性主要是由软件来实现的。星载计算机软件既是嵌入式软件，又是容错软件，这使得软件的测试难度加大，一些隐蔽的缺陷难以发现。针对星栽嵌入式软件的以上特点，本文讨论了在确认测试阶段如何采用自动化测试技术来降低测试难度，节省回归测试时间，缩短产品发布周期，从而达到提高产品质量的目的。

摘要：浅谈计算机软件开发的规范化人民银行吉林省吉林市分行科技处才壮随着我国金融电子化事业的发展，金融信息化程度的提高，对软件开发人员和开发手段将提出更高的要求，软件开发的规范化问题显得日趋重要。笔者认为，计算机软件的规范化设计包括软件需求分析规范、概要设计...

摘要：设计师都知道,用分级法进行电路设计能提高结果的质量,而且还常常能缩短开发时间.验证工程师常常对一个设计的各功能块单独进行验证,然后再将它们组合成电路,以便对组合成的系统实现确认测试.形式验证方法仍在演进之中,工程师在用分级方法进行形式验证时几乎得不到相应工具的支持.在许多情况下,形式验证工具不能处理大型设计,因此工程师不得不用人工方法随时掌握已验证的功能块,并创新自己的综合验证程序.