课题基金 / 基金详情

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
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=520332
关键词：
Formalmethodstestingstatebased

项目摘要

项目成果

Ural, Hasan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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