Relating software validation to technology trends

被引:2
|
作者
Zhiming Liu
Abhik Roychoudhury
机构
[1] UNU-IIST,
[2] National University of Singapore,undefined
关键词
Model-based development; Abstraction; Refinement ; Model transformation; Verification; Tool support;
D O I
10.1007/s10009-012-0259-5
中图分类号
学科分类号
摘要
Large scale software engineering is undergoing substantial shifts due to a combination of technological and economic developments. These include the prevalence of software for embedded systems, global software development across geographically distributed teams, the technological shift towards multi-core platforms, and the inevitable shift towards software being used as a service. In this overview article, we discuss some of the challenges that lie ahead for software validation, due to such technological developments. In particular, we provide a brief introduction to the papers appearing in this special issue, many of which specifically focus on validation of software running on real-time embedded systems.
引用
收藏
页码:631 / 638
页数:7
相关论文
共 50 条
  • [41] TRENDS IN APPLICATION SOFTWARE
    EAMES, R
    [J]. DATA MANAGEMENT, 1980, 18 (04): : 24 - 25
  • [42] SOFTWARE TRENDS IN EUROPE
    DISMAN, M
    [J]. DATAMATION, 1981, 27 (09): : 41 - &
  • [43] International trends and concerns relating to chemical safety
    Beth-Hübner, M
    [J]. INTERNATIONAL ARCHIVES OF OCCUPATIONAL AND ENVIRONMENTAL HEALTH, 1999, 72 (Suppl 3) : M75 - M80
  • [44] SOFTWARE TECHNOLOGY
    Brown, Chris
    [J]. Electronic Systems Technology and Design/Computer Design's, 1982, 21 (12): : 187 - 206
  • [45] SOFTWARE TECHNOLOGY
    BROWN, C
    [J]. COMPUTER DESIGN, 1982, 21 (12): : 187 - &
  • [46] International trends and concerns relating to chemical safety
    M. Beth-Hübner
    [J]. International Archives of Occupational and Environmental Health, 1999, 72 : M075 - M080
  • [47] SOFTWARE TECHNOLOGY
    不详
    [J]. ELECTRONIC DESIGN, 1984, 32 (16) : 104 - 105
  • [48] CURRENT TRENDS RELATING TO ACADEMIC PERSONNEL POLICIES
    SCHMINKE, CW
    [J]. PERSONNEL JOURNAL, 1965, 44 (03) : 135 - 139
  • [49] Software Validation in ATLAS
    Hodgkinson, Mark
    Seuster, Rolf
    Simmons, Brinick
    Rousseau, David
    Sherwood, Peter
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
  • [50] VALIDATION OF DIAGNOSTIC SOFTWARE
    TUSCAN, MJ
    WAHL, RI
    JUNI, JE
    SWANSON, D
    [J]. JOURNAL OF NUCLEAR MEDICINE, 1986, 27 (03) : 436 - 436