用于测试和调试的系统:用户视角

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis Pub Date : 1988-07-19 DOI:10.1109/WST.1988.5350

B. Korel, J. Laski

{"title":"用于测试和调试的系统:用户视角","authors":"B. Korel, J. Laski","doi":"10.1109/WST.1988.5350","DOIUrl":null,"url":null,"abstract":"A recently developed experimental integrated system for testing and debugging (STAD) is presented. Its testing part supports three data-flow coverage criteria. The debugging part guides the programmer in the localization of faults by generating and interactively verifying hypotheses about their location. An example is given to illustrate the process, followed by a debugging session, a discussion of the principles of data-flow testing, a structural testing scenario, and an introduction to the debugging principles in STAD.<<ETX>>","PeriodicalId":269073,"journal":{"name":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","volume":"258 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"47","resultStr":"{\"title\":\"STAD-a system for testing and debugging: user perspective\",\"authors\":\"B. Korel, J. Laski\",\"doi\":\"10.1109/WST.1988.5350\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A recently developed experimental integrated system for testing and debugging (STAD) is presented. Its testing part supports three data-flow coverage criteria. The debugging part guides the programmer in the localization of faults by generating and interactively verifying hypotheses about their location. An example is given to illustrate the process, followed by a debugging session, a discussion of the principles of data-flow testing, a structural testing scenario, and an introduction to the debugging principles in STAD.<<ETX>>\",\"PeriodicalId\":269073,\"journal\":{\"name\":\"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis\",\"volume\":\"258 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"47\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WST.1988.5350\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WST.1988.5350","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 47

摘要

介绍了一种最新开发的实验测试与调试集成系统(STAD)。它的测试部分支持三个数据流覆盖标准。调试部分通过生成和交互验证关于故障位置的假设来指导程序员定位故障。给出了一个例子来说明这个过程，然后是一个调试会话，讨论了数据流测试的原则，一个结构测试场景，并介绍了STAD.>中的调试原则

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

查看原文本刊更多论文

STAD-a system for testing and debugging: user perspective

A recently developed experimental integrated system for testing and debugging (STAD) is presented. Its testing part supports three data-flow coverage criteria. The debugging part guides the programmer in the localization of faults by generating and interactively verifying hypotheses about their location. An example is given to illustrate the process, followed by a debugging session, a discussion of the principles of data-flow testing, a structural testing scenario, and an introduction to the debugging principles in STAD.<>

求助全文

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

来源期刊

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis

自引率

0.00%

发文量