摘要 |
PROBLEM TO BE SOLVED: To output an error trace which is easy for a user to understand by simplifying expressions included in an error trace. SOLUTION: A source code input part reads an input source code, and transfers it to a flatting part. The flatting part flats the input source code, and transfers it to a source verification part. The source code verification part applies a source code verification method to the flatted source code to store the obtained error trace in an error trace storage part. As regards all steps included in the error trace stored in the error trace storage part, when an arithmetic operation by a conditional operator is included, an error trace simplification part simplifies the error trace to a form such that the arithmetic operation by the conditional operator is not included, and stores the simplified error trace in a simplified error trace storage part. A result output part outputs the error trace stored in the simplified error trace storage part as the simplified error trace. COPYRIGHT: (C)2010,JPO&INPIT |