{"title":"用于测试和调试分布式应用程序的方法","authors":"M. Otta, S. Racek","doi":"10.1109/EURCON.2001.938182","DOIUrl":null,"url":null,"abstract":"The paper presents a method which can be used to verify properties of asynchronous distributed algorithms and programs during their execution. The method can detect an occurrence of either stable global predicates or unstable strong or weak global predicates which are a conjunction of locally detectable predicates. Unstable predicates can be detected even if the observed run of the distributed program does not contain global states which fulfil the predicate. An example of a CORBA-based distributed debugger implementation serves as a feasibility study of the presented method.","PeriodicalId":205662,"journal":{"name":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A method for testing and debugging distributed applications\",\"authors\":\"M. Otta, S. Racek\",\"doi\":\"10.1109/EURCON.2001.938182\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper presents a method which can be used to verify properties of asynchronous distributed algorithms and programs during their execution. The method can detect an occurrence of either stable global predicates or unstable strong or weak global predicates which are a conjunction of locally detectable predicates. Unstable predicates can be detected even if the observed run of the distributed program does not contain global states which fulfil the predicate. An example of a CORBA-based distributed debugger implementation serves as a feasibility study of the presented method.\",\"PeriodicalId\":205662,\"journal\":{\"name\":\"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-07-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EURCON.2001.938182\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURCON.2001.938182","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A method for testing and debugging distributed applications
The paper presents a method which can be used to verify properties of asynchronous distributed algorithms and programs during their execution. The method can detect an occurrence of either stable global predicates or unstable strong or weak global predicates which are a conjunction of locally detectable predicates. Unstable predicates can be detected even if the observed run of the distributed program does not contain global states which fulfil the predicate. An example of a CORBA-based distributed debugger implementation serves as a feasibility study of the presented method.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
