模块2验证套件的开发

ACM-SE 28 Pub Date : 1990-04-01 DOI:10.1145/98949.98999

K. N. King, Dave Crick

{"title":"模块2验证套件的开发","authors":"K. N. King, Dave Crick","doi":"10.1145/98949.98999","DOIUrl":null,"url":null,"abstract":"The Modula-2 Validation Suite (M2VS) is a collection of test programs and related tools that support formal testing of Modula-2 implementations. This paper describes the history of the M2VS, the organization of the M2VS, and plans for future development of the M2VS. A notab'c feature of the suite is the execution monitor, which sup ports automated testing and cross-compiler testing.","PeriodicalId":409883,"journal":{"name":"ACM-SE 28","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The development of a modula-2 validation suite\",\"authors\":\"K. N. King, Dave Crick\",\"doi\":\"10.1145/98949.98999\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Modula-2 Validation Suite (M2VS) is a collection of test programs and related tools that support formal testing of Modula-2 implementations. This paper describes the history of the M2VS, the organization of the M2VS, and plans for future development of the M2VS. A notab'c feature of the suite is the execution monitor, which sup ports automated testing and cross-compiler testing.\",\"PeriodicalId\":409883,\"journal\":{\"name\":\"ACM-SE 28\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM-SE 28\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/98949.98999\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM-SE 28","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/98949.98999","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

Modula-2验证套件(M2VS)是支持对Modula-2实现进行正式测试的测试程序和相关工具的集合。本文介绍了M2VS的历史，M2VS的组织，并对M2VS的未来发展进行了规划。该套件的一个重要特性是执行监视器，它支持自动测试和交叉编译器测试。

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

查看原文本刊更多论文

The development of a modula-2 validation suite

The Modula-2 Validation Suite (M2VS) is a collection of test programs and related tools that support formal testing of Modula-2 implementations. This paper describes the history of the M2VS, the organization of the M2VS, and plans for future development of the M2VS. A notab'c feature of the suite is the execution monitor, which sup ports automated testing and cross-compiler testing.

求助全文

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

来源期刊

ACM-SE 28

自引率

0.00%

发文量