论文部分内容阅读
研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响，并能有效提高软件生产率，是当今软件业界一个极具现实意义的课题．以目前广为使用的C／C＋＋程序作为测试对象，从程序结构信息获取、插装、I／O重定向等方面探讨如何实现方法级结构性测试；按需求规约对类的状态转换行为运用EFSM建模，依据类状态转换图自动生成测试用例，在类测试驱动器的执行下实现基于状态的类测试．在系统级别上，运用等价类、边界值分析等常规策略进行黑盒测试．此外，运用聚类技术对失效执行进行聚类分析，并从中抽样出典型的测试执行用例用于指导程序