 |
|
|
 |
 |
 |
|
|
MALPAS is an advanced software package for software analysis and verification. MALPAS gives project managers and software engineers a unique tool for the comprehensive analysis of complex software. By revealing errors simply and quickly, MALPAS not only leads to more reliable software but also reduces development and maintenance costs. |
|
|
MALPAS gives project managers and software engineers a unique tool for the comprehensive analysis of complex software. Each of the five analysers in the MALPAS tool-set examines a different aspect of the software, revealing general problems (for example bad structure or inconsistent data usage) and pin-pointing specific errors such as incorrectly implemented algorithms or inconsistencies with the specification. Because MALPAS analyses source-code without actually executing it (a process called static analysis), the tool does not require expensive test-rigs and is capable of giving 100% path coverage. By revealing errors simply and quickly, MALPAS leads not only to more reliable software but to reduced development and maintenance costs.
MALPAS has unique features making it an effective design, development and verification tool throughout the software life-cycle: |
|
|
|
 |
Specification and Design |
|
|
Coding |
|
|
Testing |
|
|
Certification |
|
|
Maintenance |
|
|
|
|
|
Specification and Design |
|
|
|
MALPAS is compatible with many of the latest formal specification and structured design methods. MALPAS Intermediate Language (IL) includes the ability to define the intended function of a program, which allows a rigorous check of the software's compliance with its specification. |
|
|
|
Coding |
|
|
|
MALPAS can be applied on a module-by-module basis, allowing the developer to verify code as it is produced. Early error-correction saves time and money. |
|
|
|
Testing |
|
|
|
MALPAS is fully complementary with conventional testing. Because MALPAS will identify all executable paths, test plans can be specified more exactly, leading to greater efficiency and better coverage. |
|
|
|
Certification |
|
|
|
MALPAS has the power to detect subtle, hidden errors that have escaped normal test procedures - especially important in high-integrity, safety-critical and trusted systems. |
|
|
|
Maintenance |
|
|
|
MALPAS can be used to check the correctness and integrity of modifications to in-use software, and to monitor their effect on other areas of the program. Unauthorised modifications on a previously-analysed program can be revealed more easily. |
|
|
|
|
|
|
|
|
|
|
