软件测试在计算机控制核反应堆中的应用

Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249) Pub Date : 1999-02-23 DOI:10.1109/NRSC.1999.760952

M. Kandil, F. Mohamed, A. Omar, M. Sherizh

{"title":"软件测试在计算机控制核反应堆中的应用","authors":"M. Kandil, F. Mohamed, A. Omar, M. Sherizh","doi":"10.1109/NRSC.1999.760952","DOIUrl":null,"url":null,"abstract":"In this paper, a software testing package using structural testing had been proposed and implemented. It can analyze any program written in C language. Moreover it can be applied to a wide spectrum of C-like languages. The C language had been chosen as an example for it. It makes two useful functions; one is a static analysis for the program under test and the other is a dynamic analysis for that program.","PeriodicalId":250544,"journal":{"name":"Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Software testing as applied to computer controlled nuclear reactor\",\"authors\":\"M. Kandil, F. Mohamed, A. Omar, M. Sherizh\",\"doi\":\"10.1109/NRSC.1999.760952\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, a software testing package using structural testing had been proposed and implemented. It can analyze any program written in C language. Moreover it can be applied to a wide spectrum of C-like languages. The C language had been chosen as an example for it. It makes two useful functions; one is a static analysis for the program under test and the other is a dynamic analysis for that program.\",\"PeriodicalId\":250544,\"journal\":{\"name\":\"Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249)\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-02-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NRSC.1999.760952\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NRSC.1999.760952","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文提出并实现了一个基于结构测试的软件测试包。它可以分析任何用C语言编写的程序。此外，它可以应用于广泛的类c语言。C语言被选为一个例子。它有两个有用的功能;一个是对被测程序的静态分析，另一个是对该程序的动态分析。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Software testing as applied to computer controlled nuclear reactor

In this paper, a software testing package using structural testing had been proposed and implemented. It can analyze any program written in C language. Moreover it can be applied to a wide spectrum of C-like languages. The C language had been chosen as an example for it. It makes two useful functions; one is a static analysis for the program under test and the other is a dynamic analysis for that program.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Sixteenth National Radio Science Conference. NRSC'99 (IEEE Cat. No.99EX249)

自引率

0.00%

发文量