SOFTWARE-VALIDATION .1. CONTROL-FLOW AND DATA-FLOW ANALYSIS

被引：2
|
作者：
CARRE, BA
机构：
来源：
MICROPROCESSORS AND MICROSYSTEMS | 1980年 / 4卷 / 10期
关键词：
D O I：
10.1016/0141-9331(80)90214-8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：395 / 406
页数：12
相关论文
共 50 条
  • [1] Adding control-flow to a visual data-flow representation
    Dearman, D
    Cox, A
    Fisher, M
    [J]. 13TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2005, : 297 - 306
  • [2] Bridging the Gap between Data-flow and Control-flow Analysis for Anomaly Detection
    Li, Peng
    Park, Hyundo
    Gao, Debin
    Fu, Jianming
    [J]. 24TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2008, : 392 - +
  • [3] Data-Flow vs Control-Flow for Extreme Level Computing
    Evripidou, Paraskevas
    Kyriacou, Costas
    [J]. 2013 DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM), 2014, : 9 - 13
  • [4] Control-flow semantics for assembly-level data-flow graphs
    Kahl, Wolfram
    Anand, Christopher K.
    Carette, Jacques
    [J]. RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 147 - 160
  • [5] Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey
    Dssouli, Rachida
    Khoumsi, Ahmed
    Elqortobi, Mounia
    Bentahar, Jamal
    [J]. ADVANCES IN COMPUTERS, VOL 107, 2017, 107 : 95 - 155
  • [6] Testability Analysis of Data-Flow Software
    Thanh Binh Nguyen
    Delaunay, Michel
    Robach, Chantal
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 213 - 225
  • [7] TUGEN: An automatic test suite generator integrating data-flow and control-flow methods
    Wang, JG
    Hao, RB
    Wu, JP
    [J]. ICC 98 - 1998 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS VOLS 1-3, 1998, : 286 - 290
  • [8] TUGEN: An automatic test suite generator integrating data-flow and control-flow methods
    Wang, JG
    Hao, RB
    Wu, JP
    [J]. NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 212 - 217
  • [9] Transaction execution models in partially replicated transactional memory: The case for data-flow and control-flow
    Palmieri, Roberto
    Peluso, Sebastiano
    Ravindran, Binoy
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8913 : 341 - 366
  • [10] FROM CONTROL FLOW TO DATA-FLOW
    BECK, M
    JOHNSON, R
    PINGALI, K
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1991, 12 (02) : 118 - 129
12345