ems是什么
专利名称：Verification of computer software
tombs发明人：R. Ralph Delucia,Daniel J. Wolf,Eric P. Casteel 申请号：US07/035802
申请日：19870408
google词典
公开号：US04819233A
公开日：
gj
原声电影19890404
hkg是哪个地区的缩写专利内容由知识产权出版社提供
remdesivir>感恩节英语祝福语摘要：A computer program is verified, unit by unit, by automatically instrumentating the code and generating a test driver program which executes all branches of an instrumented code unit. The code is instrumented by operating processors to standardize the code format and to inrt executable tracer statements into each block of reformatted code between control statements. A pudocode having only control statements and tables identifying valid linkages between blocks of code are generated by another processor for u by a verifier in lecting values of input variables and expected outputs for test cas which execute each block of code in the lected unit. Another processor generates the test driver program from the test cas and a software test specification identifying the test cas and expected results. The test driver program and instrumented code unit are compiled and linked to repeatively execute the instrumented code unit to implement all the test cas. Results of the test cas are printed out indicating the quence of block linkages generated by each test ca, the expected output values and the actual output values.八年级下英语单词表
申请人：WESTINGHOUSE ELECTRIC CORP.
caac是什么意思更多信息请下载全文后查看
