论文部分内容阅读
该文提出了一种面向事务处理的确认测试控制方法,其核心是实现事务处理流程的形式化.该方法在数据流图规范化的基础上引入了数据流事务的概念,并将有限状态机作为控制原语,使事务的控制部分得以形式化.为保证测试路径的完整性,该文讨论了一种测试路径覆盖算法,包括不受限边的选取对测试路径可行性的影响.此外,该文还设计了一个可行的功能质量评测方法.