Formal methods for testing state-based systems

测试基于状态的系统的形式化方法

• 批准号: 976-2009
• 负责人: Ural, Hasan
• 金额: $ 2.55万
• 依托单位: University of Ottawa
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=449200
• 关键词: Formal; methods; testing; state; based

State-based formalisms such as Finite State Machine (FSM), Extended FSM (EFSM), Communicating FSM (CFSM), State-Charts and their extensions have been widely used to specify the behavior of state-based systems in diverse areas such as, interactive systems, reactive systems, web services, multimedia services, and telecommunications systems as well as to describe the behavior of concurrent and distributed systems. Within this context, the objectives of the proposed research are to develop formal methods for the generation of cost-effective test suites from specifications or requirements of state-based systems and for requirements based regression testing.

基于状态的形式主义，如有限状态机（FSM），扩展FSM（EFSM），通信FSM（CFSM），状态图及其扩展已被广泛用于指定基于状态的系统的行为在不同的领域，如，交互式系统，反应式系统，Web服务，多媒体服务和电信系统，以及描述并发和分布式系统的行为。在这种情况下，拟议的研究的目标是开发正式的方法，从规范或要求的状态为基础的系统和基于需求的回归测试的成本效益的测试套件的生成。