Crucible Tools for Test Generation and Animation of Alloy Models

被引：0
|
作者：
Wilson, Thomas [1 ]
Matthews, Stuart [1 ]
机构：
[1] Capgemini Engn, 22 St Lawrence St, Bath BA1 1AN, Avon, England
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2023 | 2023年 / 14010卷
基金：
“创新英国”项目;
关键词：
Alloy; Test Generation; Animation;
D O I：
10.1007/978-3-031-33163-3_9
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Crucible is a suite of tools supporting the use of Alloy as a functional specification language for high-integrity software systems. It incorporates a test generator, animator and range of supporting tools. Test generation is achieved by producing test conditions from the input Alloy model, and then using the Alloy Analyzer to produce solutions. The solutions can optionally be converted into executable tests targeting a range of implementation languages. The animator allows scenarios to be defined by users and run to help stakeholders validate the Alloy model. In this paper, we provide an overview of the Crucible tools.
引用
收藏
页码：116 / 123
页数：8
相关论文
共 50 条
  • [1] Crucible: Graphical Test Cases for Alloy Models
    Emerson, Adam G.
    Sullivan, Allison
    2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, ISSRE, 2023, : 218 - 227
  • [2] TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications
    Tanno, Haruto
    Zhang, Xiaojing
    Hoshino, Takashi
    Sen, Koushik
    2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 717 - 720
  • [3] An improved method for progressive animation models generation
    ShiXue Zhang
    JinYu Zhao
    EnHua Wu
    Science China Information Sciences, 2010, 53 : 1312 - 1321
  • [4] Feature aware multiresolution animation models generation
    Zhang S.
    Zhao J.
    Journal of Multimedia, 2010, 5 (06): : 622 - 628
  • [5] An improved method for progressive animation models generation
    ZHANG ShiXue1
    2Department of Computer and Information Science
    3State Key Laboratory of Computer Science
    ScienceChina(InformationSciences), 2010, 53 (07) : 1312 - 1321
  • [6] An improved method for progressive animation models generation
    Zhang ShiXue
    Zhao JinYu
    Wu EnHua
    SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (07) : 1312 - 1321
  • [7] Tools for test case generation
    Belinfante, A
    Frantzen, L
    Schallhart, C
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 391 - 438
  • [8] Interactive Generation of Human Animation with Deformable Motion Models
    Min, Jianyuan
    Chen, Yen-Lin
    Chai, Jinxiang
    ACM TRANSACTIONS ON GRAPHICS, 2009, 29 (01):
  • [9] Test suite design for code generation tools
    Stürmer, I
    Conrad, M
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 286 - 290
  • [10] TOOLS FOR A CHARACTER ANIMATION SYSTEM
    VANBAERLE, S
    NCGA 89 CONFERENCE PROCEEDINGS, VOLS 1-3, 1989, : C599 - C611
12345