Ada任务的结构测试  

Structural Test for Ada Task

作　　者：陈曦[1] 

机构地区：[1]北京航空航天大学软件工程研究所

出　　处：《计算机工程与设计》1997年第6期53-57,共5页Computer Engineering and Design

摘　　要：ｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示及插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相应处理，从而使测试结果能真实地反映被测程序的结构特性。In Ada language, execution of task is very different from the execution of sequential program This paper introduces the solutions on the special problems involved in structural test for Ada task It′s the key to analyse the characteristics of the sentences and semantics of task in the process of structural test

关 键 词：软件开发 ADA语言 软件测试 结构测试 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]