Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《ACTA ELECTRONICA SINICA》 2000-02
Add to Favorite Get Latest Update

Research on Extended Transition Systems Based Conformance Testing for Distributed Systems

BI Jun,WU Jian ping,ZHU Jiang(Department of Computer Science,Tsinghua University,Beijing 100084,China)  
This paper proposes a formal test theory for conformance concepts and test architecture of distributed systems.Moreover the theory consisting of implementation relations,test cases, test suites,and test execution,with respect to Extended Transition System specifications,is presented.
【Fund】: 国家自然科学基金!(No .694730 1 1 ;No .69682 0 0 2 ;No .6972 50 0 3)
【CateGory Index】: TN915.0
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 1 Hits
1 XU Ming-Di ZHANG Huan-Guo YAN Fei(Key Laboratory of Aerospace Information Security and Trust Computing of Ministry of Education,Wuhan 430072)(School of Computer,Wuhan University,Wuhan 430079)(State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072);Testing on Trust Chain of Trusted Computing Platform Based on Labeled Transition System[J];Chinese Journal of Computers;2009-04
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Zhao Yixin, Yin Xia, Han Bo, Wu Jianping (Department of Computer Science, Tsinghua University, Beijing 100084);The Online Test System Applied in the Test of Routing Protocols[J];High Technology Letters;2001-08
2 JIANG Fan and NING Hua-Zhong (Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230026);AUTOMATIC TEST SUITE GENERATION BASED ON LABELLED TRANSITION SYSTEM[J];Journal of Computer Research and Development;2001-12
3 ZHANG Long Bing, CHEN Yi Yun, ZHANG Feng, and CHEN Guo Liang (Department of Computer Science and Technology, University of Science & Technology of China, Hefei 230027);DPFS: A DSM-BASED PARALLEL FILE SYSTEM[J];Journal of Computer Research and Development;2002-03
4 ZHAO Rui-Lian 1 and MIN Ying-Hua 2 1(Beijing University of Chemical Technology, Beijing 100029) 2(Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080);A Software Testing Method Based on Domain Analysis of Specification and Program[J];Journal of Computer Research and Development;2003-06
5 LI Meng-Jun,LI Zhou-Jun,and CHEN Huo-Wang (School of Computer Science,National University of Defense Technology,Changsha 410073);A Survey of Security Protocol Verification Based on Process Algebra[J];Journal of Computer Research and Development;2004-07
6 Zhang Yujun, Li Zhongcheng, Zheng Hongxia, Tian Ye, and Sun Jingbo(Information Network Laboratory, Institute of Computing Technology, Chinese Academy of Sciences , Beijing 100080);Transport Mechanism Applied to Computer Network Protocol Conformance Testing[J];Journal of Computer Research and Development;2005-01
7 Zhang Yujun Tian Jun Yu Dong Fu Xiaoyu Zheng Hongxia Li Zhongcheng(Institute of Computing Technology,Chinese Academy of Sciences,Beijing100080);Neighbor Discovery Protocol and its Test in IPv6[J];Computer Engineering and Applications;2002-07
8 Tian Jun Zhang Yujun\ Li Zhongcheng (Information Network Department, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080);IPv6 Protocol Conformance Test System[J];Journal of Computer Aided Design & Computer Graphics;2002-04
9 ZHAO Liang WANG Jian-Min SUN Jia-Guang(School of Software,Tsinghua University,Beijing 100084);Study on the Relationship between Software Testability and Reliability[J];Chinese Journal of Computers;2007-06
10 ZHENG Hong xia,TIAN Jun,ZHANG Yu jun,YU Dong, LI Zhong cheng (Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100080,China);IPv6 Protocol Conformance Test Case Design[J];Computer Applications;2003-04
【Secondary References】
Chinese Journal Full-text Database 2 Hits
1 SHEN ChangXiang1, ZHANG HuanGuo1?, WANG HuaiMin3, WANG Ji3, ZHAO Bo2, YAN Fei2, YU FaJiang2, ZHANG LiQiang2 & XU MingDi21Beijing University of Technology, Beijing 100124, China; 2School of Computer, Wuhan University, Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education, Wuhan 430072, China; 3School of Computer, National University of Defence Technology, Changsha 430074, China;Research on trusted computing and its development[J];中国科学:信息科学(英文版);2010-03
2 ZHANG HuanGuo1,2, YAN Fei1,2, FU JianMing1,2, XU MingDi1,2, YANG Yang1,2, HE Fan1,2 & ZHAN Jing1,2 1School of Computer, Wuhan University, Wuhan 430072, China; 2Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan 430072, China;Research on theory and key technology of trusted computing platform security testing and evaluation[J];中国科学:信息科学(英文版);2010-03
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved