A generic framework for automated quality assurance of software models supporting languages of multiple paradigms

被引：0
|
作者：
Owens, Darryl [1 ]
Anderson, Mark [1 ]
机构：
[1] Department of Computing, Edge Hill University, Ormskirk, Lancashire, United Kingdom
来源：
Journal of Software | 2013年 / 8卷 / 09期
关键词：
Automated techniques - Generic frameworks - Generic tools - Labour-intensive - Manual techniques - Multiple languages - Scientific softwares - Software model;
D O I：
10.4304/jsw.8.9.2191-2196
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2191 / 2196
相关论文
共 50 条
  • [1] A Generic Framework for Automated Quality Assurance of Software Models - Implementation of an Abstract Syntax Tree
    Owens, Darryl
    Anderson, Mark
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2014, 5 (01) : 32 - 38
  • [2] AUTOMATED SOFTWARE QUALITY ASSURANCE
    SNEED, HM
    MEREY, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (09) : 909 - 916
  • [3] A framework for automated and optimized ASIP implementation supporting multiple hardware description languages
    Schliebusch, Oliver
    Chattopadhyay, A.
    Kammler, D.
    Ascheid, G.
    Leupers, R.
    Meyr, H.
    Kogel, Tim
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 280 - 285
  • [4] AUTOMATED TESTCASE GENERATION FOR SOFTWARE QUALITY ASSURANCE
    Nirmala, D.
    LathaMaheswari, T.
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL (ISCO'16), 2016,
  • [5] Component-based embedded software engineering: Development framework, quality assurance and a generic assessment environment
    Cai, X
    Lyu, MR
    Wong, KF
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (02) : 107 - 133
  • [6] An Automated Test Generation Technique for Software Quality Assurance
    Xu, Dianxiang
    Xu, Weifeng
    Kent, Michael
    Thomas, Lijo
    Wang, Linzhang
    IEEE TRANSACTIONS ON RELIABILITY, 2015, 64 (01) : 247 - 268
  • [7] SOFTWARE QUALITY ASSURANCE THROUGH PROTOTYPING AND AUTOMATED TESTING
    STAKNIS, ME
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (01) : 26 - 33
  • [8] Automated Process Quality Assurance for Distributed Software Development
    Zhai, Jian
    Yang, Qiusong
    Yang, Ye
    Xiao, Junchao
    Wang, Qing
    Li, Mingshu
    SOFTWARE ENGINEERING APPROACHES FOR OFFSHORE AND OUTSOURCED DEVELOPMENT, 2009, 16 : 196 - 210
  • [9] Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project
    Spinola, Rodrigo O.
    Pinto, Felipe C. R.
    Travassos, Guilherme H.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 587 - 603
  • [10] Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project
    Spínola, Rodrigo O.
    Pinto, Felipe C.R.
    Travassos, Guilherme H.
    Communications in Computer and Information Science, 2009, 17 : 587 - 603
12345