程序的调试技巧

该文简要介绍编程中常见的错误类型，通过黑箱测试法、白箱测试法、等价分类法、边界分析法和错误推测法对程序错误进行分析判断和定位。     

Authorware程序的调试技巧

在传统的编程工具中,开发人员往往必须无数次执行程序前一段的无意义内容才能够看到对程序中间某部分修改的结果。而Authorware为开发人员提供了丰富的调试工具和检测工具。Au鄄thorware实现的多媒体编程完全可视化,开发人员可以在设计窗口的流程线上控制和观察程序的流程,用不同的设计按钮来完成不同的功能。下面介绍Authorware灵活的开始和停止旗帜在调试程序中的技巧。1.【Start】(开始)和【End】(停止)旗帜的使用开始和停止旗帜可以放置到程序流程线上的任意位置,用来控制程序的执行起始位置和停止位置。使用这两个旗帜,开发人员可以…     

C语言调试技巧

介绍C语言的一些基本调试技巧,并对编译器不易发现的常见逻辑错误和运行错误进行总结,以期能给广大C语言学习者一些帮助。     

APPLEⅡ机上超长程序动态调试的实现

本文介绍了一个简单实用的方法,使长达32K以上的程序能在APPLE—Ⅱ微机上进行动态仿真调试。     

浅谈两种C#程序的调试方法

程序调试在程序开发、程序测试、程序部署中起到至关重要的作用,其是开发人员发现程序问题的一把利剑。本文介绍了进程调试法和写日志调试法,并通过Windows服务程序演示了如何使用进程调试法调试以及用C#代码实现写日志法调试。     

无线调频话筒的制作与调试技巧

无线调频话筒是无线电爱好者最感兴趣的一种电子制作项目,但对初学者而言,由于缺乏实践经验,虽按资料介绍进行安装调试,却往往不能成功。下面就结合一种结构简单,性能较好的电路实例谈谈无线调频话筒的制作调试技巧和常见故障的排除方法,供广大电子爱好者参考。     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

单片机Keil软件仿真与调试技巧

<正>一、引言单片机软件开发过程中,软件调试遇到的各种问题常令初学者感到不知所措。实际上,各种仿真开发软件的程序调试基本方法和技巧大同小异,掌     

在TC++ 3.0集成环境下程序的动态调试

调试程序对程序员而言是一项基本功。然而调试方法的选择和运用,却反映出一名程序员的能力和水平。本文以作者的实际教学经验为基础,对C语言程序设计中常见的错误进行了归纳,并根据实例介绍了在TC++3.0集成环境下C程序的动态调试方法。     

FoxPro程序的调试方法

如何用FoxPro自身调试工具来调试用FoxPro语句编写的应用程序的方法.     

软件测试用例设计

软件测试重要性越来越大,测试用例的设计是整个测试过程的基础。结合工作实践介绍软件测试用例的重要性和测试用例的设计方法,并举例说明如何应用白盒测试技术和黑盒测试技术。     

基于构件的工作流动态修改策略

针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构,从时间和工作流组成两个角度对工作流的动态修改进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性。     

State generation and automated class testing

The maturity of object‐oriented methods has led to the wide availability of container classes: classes that encapsulate classical data structures and algorithms. Container classes are included in the C++ and Java standard libraries, and in many proprietary libraries. The wide availability and use of these classes makes reliability important, and testing plays a central role in achieving that reliability. The large number of cases necessary for thorough testing of container classes makes automated testing essential. This paper presents a novel approach for automated testing of container classes based on combinatorial algorithms for state generation. The approach is illustrated with black‐box and white‐box test drivers for a class implemented with the red–black tree data structure, used widely in industry and, in particular, in the C++ Standard Template Library. The white‐box driver is based on a new algorithm for red–black tree generation. The drivers are evaluated experimentally, providing quantitative measures of their effectiveness in terms of block and path coverage. The results clearly show that the approach is affordable in terms of development cost and execution time, and effective with respect to coverage achieved. The results also provide insight into the relative advantages of black‐box and white‐box drivers, and into the difficult problem of infeasible paths. Copyright © 2000 John Wiley & Sons, Ltd.     

基于中间表示的可复用程序分析系统

采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离，利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后，用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。     

信息系统的盒子结构分析与设计

讨论信息系统盒子结构分析与设计中三种基本结构:黑盒、状态机和白盒,分析利用盒子结构设计信息系统的原理;利用盒子结构分析方法,设计一个设备租赁系统,采用BDL语言描述系统的主要部件.给出用盒子结构方法设计的评价.     

浅谈白盒测试之基本路径测试方法研究

本文分析了白盒测试中基本路径测试方法的相关概念,阐述了利用基本路径测试方法设计测试用例的过程,最后通过实例说明基本路径测试方法的使用。     

基于模块关系图的测试程序生成

分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用。在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法。将以上研究思想应用于国家自然科学基金项目“软件可测性设计新概念—软件内建自测试”,实践证明,该模型有助于软件自动化测试的进一步研究。     

ODECMP的动态连接程序库

文章论述了ＯＤＥＣＭＰ（面向对象的巡航导弹航迹规划软件开发环境）的动态程序库的必要性和优越性,介绍了动态程序库设计的主要方法。通过作者在ＶｉｓｕａｌＣ＋＋环境下设计的分配、释放内存的动态函数库,重点探讨了如何去掉函数修饰名的问题。