基于模型检测数据流异常测试技术研究.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2011 ，47 （25 ） 1 ⦾博士论坛⦾ 基于模型检测的数据流异常测试技术研究 1，2 ，3 1，2 1，2 陈 涛 ，许金超 ，钮 俊 CHEN Tao1，2 ，3 ，XU Jinchao1，2 ，NIU Jun1，2 1.同济大学 计算机科学与技术系，上海 201804 2.国家高性能计算机工程技术中心 同济分中心，上海 201804 3.安徽财经大学 计算机科学与技术系，安徽 蚌埠 233030 1.Department of Computer Science and Engineering ，Tongji University ，Shanghai 201804 ，China 2.Tongji Branch ，National Engineering Technology Center of High Performance Computer ，Shanghai 201804 ，China 3.Department of Computer Science and Engineering ，Anhui University of Finance Economics ，Bengbu ，Anhui 233030 ，China CHEN Tao ，XU Jinchao ，NIU Jun.Data flow anomaly analysis based on model checking.Computer Engineering and Ap- plications ，2011 ，47 （25 ）：1-4. Abstract ：The execution of program embodies flows of data in variable.A novel method is proposed to detect data flow anomaly including variable undefined or defined but not referenced or multi-used.The trust pattern of program is defined and program is translated into finite state machine.Based on ALCCTL temporal logic and model checking ，verification model satisfies the trust pattern defined.Experiment shows that this method is effective and has been implemented in a defect-orient- ed testing system. Key words ：variable referenced ；software testing ；data flow anomaly ；model checking 摘 要：程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析，针对变量未赋值就使用、变量 重复赋值和变量定义后未使用三种数据流异常情况，使用程序阅读自动机，把程序转换为变量状态机，使用ALCCTL 时序逻辑和 模型检验工具，验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软 件测试系统中。 关键词：变量使用；软件测试；数据流异常；模型检测 DOI ：10.3778/j.issn. 1002-8331.2011.25.001 文章编号：1002-8331（2011 ）25-0001-04 文献标识码：A 中图分类号：TP311.5 1 引言 中，采用软件测试技术来保证软件的开发质量得以首要应用， 伴随着云计算和物联网时代的到来，计算机给人类发展 成为当前保证软件质量的主力军。软件测试以发现和消除软 带来了更多的惊喜，人们越来越依赖于计算机。同时，由于软 件内部隐藏的故障为中心，以提高软件质量为目的。软件测 件错误，计算机也让人类付出巨大甚至惨重的代价，如导致飞 试的