UNIT TESTING FOR SOFTWARE ASSURANCE

被引：0
|
作者：
HAMLET, R
机构：
来源：
COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：42 / 48
页数：7
相关论文
共 50 条
  • [21] SOFTWARE ASSURANCE
    Reynolds, Thomas
    COMPUTER, 2010, 43 (12) : 6 - 6
  • [22] Combining Testing and Proof to Gain High Assurance in Software: a Case Study
    Bishop, Peter
    Bloomfield, Robin
    Cyra, Lukasz
    2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2013, : 248 - 257
  • [23] Quality Assurance through Rigorous Software Specification and Testing: A Case Study
    Lin, Lan
    He, Jia
    Zhang, Yong
    Song, Fengguang
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND SOFTWARE ENGINEERING (SCSE'15), 2015, 62 : 257 - 265
  • [24] Good enough versus high assurance software testing and analysis methods
    Howden, WE
    THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, : 166 - 175
  • [25] Software quality assurance: An update - is software quality assurance different?
    Forrester, M.
    Quality assurance London, 1988, 14 (03): : 86 - 89
  • [26] A Test Suite Reduction Approach for Software Unit Testing
    Banitaan, Shadi
    Akour, Mohammad
    Alenezi, Mamdouh
    ADVANCED SCIENCE LETTERS, 2016, 22 (10) : 2977 - 2981
  • [27] Technique for unit testing of safety software verification and validation
    Li, Duo
    Zhang, Liang-Ju
    Feng, Jun-Ting
    Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2008, 42 (06): : 551 - 556
  • [28] Symbolic Execution of Network Software Based on Unit Testing
    Zhou Lin
    Liu Fei
    Gan Shuitao
    Qin Xiaojun
    Han Wenbao
    2014 9TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, ARCHITECTURE, AND STORAGE (NAS), 2014, : 128 - 132
  • [29] Large-scale software unit testing on the grid
    Li, Yaohang
    Dong, Tao
    Zhang, Xinyu
    Song, Yong-duan
    Yuan, Xiaohong
    2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 596 - +
  • [30] Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing
    Kim, Yunho
    Kim, Youil
    Kim, Taeksu
    Lee, Gunwoo
    Jang, Yoonkyu
    Kim, Moonzoo
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 519 - 528
12345