基于反馈的可信网络软件验证与测试集成框架研究  

Integrated framework for the verification and testing of trusted network software based on Feedback

作　　者：蒋凡[1] 邢学智[1] 章磊[1] 

机构地区：[1]中国科学技术大学计算机科学技术系,安徽合肥230027

出　　处：《中国科学技术大学学报》2010年第2期197-202,共6页JUSTC

基　　金：中国高技术研究发展(863)计划(2009AA01Z145)资助

摘　　要：形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.Formal methods are regarded as indispensable tools in high trusted software engineering, but software testing is the most effective method for ensuring software quality. With an integrated TTCN-3 test environment, an expansible framework, using feedback and integrating formal specification and formal proof methods, has been proposed. This approach organically combines formal methods with test engineering in the framework to effectively improve the adequacy and the effectiveness of software testing.

关 键 词：高可信软件 模型驱动测试 符号执行 约束求解 UML TTCN-3 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]