MITOL and its Application to Software Engineering
A Multiple-valued Input Two-valued Output Logic system (MITOL) is proposed. Two applications of MITOL to software engineering are studied. The first one is to use MITOL as a formal description language to describe software system-level functionality. The second application is a MITOL-based formal test case generation method for software system functional testing. This new test case generation method will generate a minimum complete test set which contains the minimum number of test cases to cover all faults in the adopted fault model. Finally, a comparison between MITOL-based method and traditional methods is presented.