使用结构化分布式编程范例的并发测试系统

R. C. Salley
{"title":"使用结构化分布式编程范例的并发测试系统","authors":"R. C. Salley","doi":"10.1109/AUTEST.2002.1047886","DOIUrl":null,"url":null,"abstract":"Traditionally developers in the automatic testing community have had no viable paradigm for handling concurrent systems. Test suites that could be processed in one hour using concurrency are being processed in 24 hours sequentially. The structured distributed programming paradigm (SDPP) is a non-traditional paradigm that allows developers to conceive viable distributed/concurrent/parallel systems with the same ease and assurance that they have been conceiving regular single-process sequential systems for the past 30 years. Structured distributed programming (SDP) is primitive, recursive, and applicable at all levels from application systems to operating systems to hardware systems to network systems. SDP is a mindset like object-oriented programming (OOP) is a mindset. As with OOP, the concepts of SDP are primitive and supportable by primitive syntax/semantics in programming languages. At compile time, an OOP sequential system is completely visualizable as a tree-structured graph. At compile time, an SDP system is completely visualizable as dual graphs, one a tree-structured graph of time and the other a cyclic graph of space. Since SDP systems are completely visualizable at compile time, test systems can be guaranteed, at compile time, to never race or deadlock; to always complete, cooperate and integrate with their environment; and to be maintainable, modifiable, reliable, and scalable to any degree.","PeriodicalId":372875,"journal":{"name":"Proceedings, IEEE AUTOTESTCON","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Concurrent test systems using the structured distributed-programming paradigm\",\"authors\":\"R. C. Salley\",\"doi\":\"10.1109/AUTEST.2002.1047886\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Traditionally developers in the automatic testing community have had no viable paradigm for handling concurrent systems. Test suites that could be processed in one hour using concurrency are being processed in 24 hours sequentially. The structured distributed programming paradigm (SDPP) is a non-traditional paradigm that allows developers to conceive viable distributed/concurrent/parallel systems with the same ease and assurance that they have been conceiving regular single-process sequential systems for the past 30 years. Structured distributed programming (SDP) is primitive, recursive, and applicable at all levels from application systems to operating systems to hardware systems to network systems. SDP is a mindset like object-oriented programming (OOP) is a mindset. As with OOP, the concepts of SDP are primitive and supportable by primitive syntax/semantics in programming languages. At compile time, an OOP sequential system is completely visualizable as a tree-structured graph. At compile time, an SDP system is completely visualizable as dual graphs, one a tree-structured graph of time and the other a cyclic graph of space. Since SDP systems are completely visualizable at compile time, test systems can be guaranteed, at compile time, to never race or deadlock; to always complete, cooperate and integrate with their environment; and to be maintainable, modifiable, reliable, and scalable to any degree.\",\"PeriodicalId\":372875,\"journal\":{\"name\":\"Proceedings, IEEE AUTOTESTCON\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-12-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings, IEEE AUTOTESTCON\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AUTEST.2002.1047886\",\"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, IEEE AUTOTESTCON","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AUTEST.2002.1047886","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

传统上,自动测试社区的开发人员没有处理并发系统的可行范例。使用并发可以在一小时内处理的测试套件在24小时内依次处理。结构化分布式编程范式(SDPP)是一种非传统的范式,它允许开发人员构思可行的分布式/并发/并行系统,就像他们在过去30年里构思常规的单进程顺序系统一样容易和有保证。结构化分布式编程(SDP)是原始的、递归的,适用于从应用程序系统到操作系统、硬件系统到网络系统的所有级别。SDP是一种思维方式,就像面向对象编程(OOP)是一种思维方式一样。与OOP一样,SDP的概念是基本的,并且可以被编程语言中的基本语法/语义所支持。在编译时,一个面向对象的顺序系统是完全可视的树结构图。在编译时,一个SDP系统可以完全可视化为对偶图,一个是时间的树状图,另一个是空间的循环图。由于SDP系统在编译时是完全可视化的,因此可以保证测试系统在编译时不会出现竞争或死锁;始终与环境保持完整、合作和融合;可维护、可修改、可靠和可扩展到任何程度。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Concurrent test systems using the structured distributed-programming paradigm
Traditionally developers in the automatic testing community have had no viable paradigm for handling concurrent systems. Test suites that could be processed in one hour using concurrency are being processed in 24 hours sequentially. The structured distributed programming paradigm (SDPP) is a non-traditional paradigm that allows developers to conceive viable distributed/concurrent/parallel systems with the same ease and assurance that they have been conceiving regular single-process sequential systems for the past 30 years. Structured distributed programming (SDP) is primitive, recursive, and applicable at all levels from application systems to operating systems to hardware systems to network systems. SDP is a mindset like object-oriented programming (OOP) is a mindset. As with OOP, the concepts of SDP are primitive and supportable by primitive syntax/semantics in programming languages. At compile time, an OOP sequential system is completely visualizable as a tree-structured graph. At compile time, an SDP system is completely visualizable as dual graphs, one a tree-structured graph of time and the other a cyclic graph of space. Since SDP systems are completely visualizable at compile time, test systems can be guaranteed, at compile time, to never race or deadlock; to always complete, cooperate and integrate with their environment; and to be maintainable, modifiable, reliable, and scalable to any degree.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信