课题基金 / 基金详情

Formal methods for testing state-based systems

Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
批准号：
976-2009
负责人：
Ural, Hasan
金额：
$2.55万
依托单位：
University of Ottawa
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2011
资助国家：
加拿大
项目状态：
已结题
起止时间：
2011-01-01 至 2012-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=473415
关键词：
Formalmethodstestingstatebased

项目摘要

项目成果

Ural, Hasan的其他基金

相似基金

相关文献

中文摘要
翻译
基于状态的形式体系，例如有限状态机 (FSM)、扩展 FSM (EFSM)、通信 FSM (CFSM)、状态图及其扩展，已广泛用于指定不同领域中基于状态的系统的行为，例如交互系统、反应式系统、Web 服务、多媒体服务和电信系统，以及描述并发和分布式系统的行为。在此背景下，拟议研究的目标是开发正式方法，用于根据基于状态的系统的规范或要求生成具有成本效益的测试套件以及基于需求的回归测试。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal Approaches to Model Based Testing
  • 批准号：
    RGPIN-2016-03897
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.6万
  • 财政年份：
    2019
  • 负责人：
    Ural, Hasan
  • 依托单位：
    University of Ottawa
Formal Approaches to Model Based Testing
  • 批准号：
    RGPIN-2016-03897
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.6万
  • 财政年份：
    2018
  • 负责人：
    Ural, Hasan
  • 依托单位：
    University of Ottawa
Formal Approaches to Model Based Testing
  • 批准号：
    RGPIN-2016-03897
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.6万
  • 财政年份：
    2017
  • 负责人：
    Ural, Hasan
  • 依托单位：
    University of Ottawa
Formal Approaches to Model Based Testing
  • 批准号：
    RGPIN-2016-03897
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.6万
  • 财政年份：
    2016
  • 负责人：
    Ural, Hasan
  • 依托单位：
    University of Ottawa
国内基金
海外基金
复杂图像处理中的自由非连续问题及其水平集方法研究
  • 批准号：
    60872130
  • 项目类别：
    面上项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2008
  • 负责人：
    刘国才
  • 依托单位：
    湖南大学
Computational Methods for Analyzing Toponome Data