Research On Realtime Test Case Generation Method Of Trustworthy Software

Software testing is an important prerequisite to ensure software quality.The quantity and quality of test cases determine the cost and effectiveness of software testing. For some software systems which have strong real-time constraints, the existing research of test suite construction methods for real-time test still have some shortcomings. In connection with the advanced test technology for the Formal Statute, we will propose a TRSL based method for construct trustworthy software real-time test cases.The paper first analyses the present status and existing problems with regard to realtime test case generation method of trustworthy software. It also summarizes the theory underpinning trustworthy software and RSL. Secondly, the purpose of this paper is the generation method of realtime test case from Timed RAISE Specification Language specification of trustworthy software, which is a variant of RAISE Specification Language. Test case can automatically be generated by analyzing TRSL specification, abstract time factors are removed from software specification, partition analysis is applied to construct test data. Then, constructive term and observable term which have time constraint are generated. Finally, it describes an example which discuss the approach of automatically generating realtime test case for a typically alarm system with TRSL specification.