In order to avoid the infeasible path and state explosion problem during test cases generation,this paper presents a formal method to generate test cases for sequential programs written in a flow based program language.
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。
Only nonzero elements beneath(or above)the diagonal of triangle matrix are stored continuously in an array of one dimension by compress rowcolumn major order.
利用一维数组对三角矩阵进行压缩存储 ,只将三角矩阵中对角线以下(或以上 )的非零元素进行连续存储 ,零元素不予存储 ;并给出行列主序压缩存储的变换算
The maximum number of packets that have ever simultaneously been in the sequencer
同时存在于序列程序中的数据包的最多个数
To schedule the order of(a sequence of procedures).
安排(一系列程序)的顺序
segment sequence
n.1. 【电脑】程序段序列
Listing program is a program with listing ability.
列表程序是具有列表能力的一种程序。
macroassembler listed output
宏汇编程序列表输出
periodical requirement print lister
定期请求打印列表程序
Sorts programs by the last run time.
按上一次运行的时间顺序排列程序。
Sorts programs by scheduled run time.
按安排运行的时间顺序排列程序。
Program Implementation of Grey Model for Non-equidistant Sequence;
非等间距序列的灰色模型的程序实现
programmed logic array (PLA)
编程逻辑阵列;程控逻辑阵列;程序控制的逻辑阵列;程序控制逻辑阵列;程序逻辑阵列
isometric DNA sequence
同组异序DNA序列
library routine
库存(程序库)程序
The drivers list was not refreshed. The driver data may be invalid.
没有刷新驱动程序列表。驱动程序数据可能无效。
program listings or technical manuals describing the operation and use of programs.
描述程序使用和运行的程序列表或技术手册。
flanking sequence
侧翼序列,旁侧序列
serial anticipation method
序列预测法 序列预度法
targeting sequencing
前导序列,导向序列
This article is the continuation of Reference[1]. It further discusses the application of the block serial number sequence for the compiler.
本文是文献[]续篇,进一步讨论分程序编号序列在编译程序中的应用.
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号