Safety assessment test for automated ground transportation systems´ software

Software (SW) quality evaluation standards are oriented to every type of SW package or product; there are specific applications that need particular tests to certify the fail-safety and fault tolerance. The proposed testing method is a boundary one, and follows a general philosophy: the input signal set is divided into two subsets: the admissible subset and the non-admissible subset. The second subset contains both signals whose value is greater (or smaller) than the admissible limit, and signals that are contradictory or unstable. Practically it is possible to do this starting from a cause-effect graph, from which it derives the matrix whose rows will report every status and the columns will report every possible class of data input. An example of micro controller electrical drive code is reported