MathWorks announces recently that introduces two new codes to prove the tool is in order to expand its Polyspace product series: Polyspace Code Prover and Polyspace Bug Finder. In addition, the company also claims to put out 2013b edition at the same time. These newly-increased two products have offered the end to verify the function to the end software, for the early development phase to use, have contained the defect of finding out, checked the code rule and proved that the runtime mistake does not exist among them. Therefore can guarantee the robustness of the embedded software, make it can be by the top quality and safety operation.
Polyspace Code Prover is a verification tool based on formalized method, used for proving the exactness of the code. Being responsible for the engineer with safe authorizing code can confirm with Polyspace Code Prover where the runtime mistake will happen or will not take place. Colour coding and simplifying the task of proving on the basis of the result that proved, make the procedure of software development high-efficient and more high-quality. In addition, Polyspace Code Prover still utilizes MATLAB platform, make users visit the strong MATLAB function, for example the work distribution among the sane computer trunkings, automatic script is written, the result is visual and authorizes the report to produce. Polyspace Code Prover incorporates the work offered in Polyspace Client for C/C and Polyspace Server for C/C before Yes.
Runtime mistake, data flow question and other defects in Polyspace Bug Finder recognizable embedded software. Polyspace Bug Finder can make use of static analytical method to analyze the behavior among controlling part of the software, data flow and course. This software can also look for various defects, such as number value, memory and its his programming mistake. Different from traditional checking manually, Polyspace Bug Finder make the intersection of engineer and all right fast recognition, diagnose and repair the code defect, thus simplify and develop the procedure. This tool not merely can check whether to accord with the regular standard of the code such as MISRA, JSF , self-defining rule ,And can produce and weigh code quality and index of the complexity. Like Polyspace Code Prover, it is visual that Polyspace Bug Finder can carry on work distribution, script writing and result in MATLAB platform of use. These two products both integrate with Simulink in order to be used in the automatic generating code together.
The design automation marketing director Paul Barnard of MathWorks Company says: " Polyspace product series can offer the overall code to verify the solution, make the engineer full of more confidence in whole quality and safety to the embedded software while developing the procedure. Polyspace Bug Finder and Polyspace Code Prover melt static analysis and authentication technique of code of the formalized method in an organic whole, can help engineers to develop the procedure and find out the defect in early days, verify his software's key link is safe, thus dispose. "
Listing time
Polyspace Code Prover and Polyspace Bug Finder have already been listed.
Full Post
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment