Title: Optimizing and implementation for the testing of railway computer interlocking software
Abstract: The interlocking logics of a railway station may be very complex,and the testing for it is a very hard work.The testing technologies for railway computer interlocking software are in the process of research,and it is a very important aspect of research at home and abroad to introduce formal methods of description into the testing of interlocking,for example Petri net.This paper introduces the general methods of software testing and the concept of coloured-petri net,then it presents an optimized implementation for the testing of railway computer interlocking software,with applying the method of coloured-petri net modeling.
Publication Year: 2009
Publication Date: 2009-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot