Cantata++
| Developer(s) | IPL Information Processing Limited & QA Systems GmbH since 2012 |
|---|---|
| Stable release |
6.2A
/ September 2013 |
| Operating system | Linux, Windows etc. |
| License | Proprietary |
| Website | Cantata product page |
Cantata++, or simply Cantata in newer versions, is a commercial computer program for dynamic testing, specifically unit testing and integration testing,[1] and code coverage at run time of C and C++ programs.[2][3] It is developed and sold by QA Systems, and was formerly a product of IPL Information Processing Ltd.[4]
Overview
Cantata and Cantata++ were originally developed by IPL Information Processing Systems until 2012 when QA Systems GmbH acquired the business, and founded QA Systems Ltd in Bath (UK).[5] In November 2012 the tool was rebranded at version 6.2 as Cantata. Until 2014 there have been 19 versions released since Cantata (for C) its release in 1992.[6]
The IDE of Cantata is based on Eclipse.[7] Cantata belongs to a category of code-driven unit testing frameworks used for dynamic testing of software. These tools bring compiled test cases to execution with the linked-in code under test. The test executable will run on a computing platform, a native operating system, or a target platform. The integration of debuggers is optional. Typical users of Cantata are either developers of application software programmed in C and C++, or of system software designed for embedded systems and mobile devices.
Industrial use
The development and verification of functional safety software in many industries is governed by international regulatory standards. Therein requirements can be found which relate to functional Safety and how to ensure a certain Safety Integrity Level (SIL). Each of the standards below highly recommends or mandates the use of unit testing and integration testing with a code-driven testing framework:
- Aerospace (RTCA: DO-178B and DO-178C : Software Considerations in Airborne Systems and Equipment Certification)
- Automotive (ISO 26262: Road vehicles – Functional safety)
- Energy/Nuclear Power (IEC 60880 : Nuclear power plants – instrumentation and control systems important to safety – Software aspects for computer based systems performing category A functions)
- Industrial Automation (IEC 61508 : Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems)[2]
- Medical Devices (IEC 62304 : Medical device software – Software lifecycle processes)[8][9]
- Railways (EN 50128 & EN 50129:[10] Railway applications – Communications, signalling and processing systems – Software for railway control and protection systems)
Cantata may be used in each of these sectors to meet the verification requirements of the regulatory standard. The Cantata tool has been independently classified and certified by the functional safety certification body SGS-TÜV GmbH, as “usable in the development of safety related software”[11] to the highest safety integrity level in each of the above standards. The mapping of verification and validation requirements in each of the above standards for functional software testing, robustness testing and structural testing (code coverage) to the capabilities of Cantata are available from the vendor, together with tool certification kits for IS0 26262, IEC 60880, IEC 61508, IEC 62304 and EN 50128, and tool qualification kits for DO-178B and DO-178C/DO-330.
Literature
- Peter Liggesmeyer: Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum, Akademischer Verlag, Heidelberg, Berlin, 2002, ISBN 3-8274-1118-1.
- Rune Winther, Bjoern Axel Gran, Gustav Dahll: "Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28–30, 2005, Proceedings." Springer-Verlag GmbH, 2005, ISBN 3-5402-9200-4.
- Dorothy Graham, Mark Fewster: "Experiences of Test Automation: Case Studies of Software Test Automation." Addison-Wesley Longman, Amsterdam 2012, ISBN 0-321-75406-9.
- Patricia Rodríguez Dapena: "Software Safety Verification in Critical Software Intensive Systems." Eindhoven: Universiteit Eindhoven, 2002, OCLC 905503460.
- "National Aerospace Laboratory NLR: "Unit Testing at the NLR", 2001, p.23. called 8-13-14" (PDF). Retrieved 2014-08-19.
- Cantata White-Box Testing tested by MIT An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software called 8-15-14
- Cantata Feature Brief for Embedded xUnit tests Website of QA-Systems, called 6-30-14
References
- ↑ Master Thesis "A survey classification of software testing tools" Website of LAPPEENRANTA University of Technology, called 6-23-14
- 1 2 Dale, Chris; Anderson, Tom (2009-01-13). Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009. Springer. pp. 216–. ISBN 9781848823495. Retrieved 3 June 2014.
- ↑ Wieczorek, Martin; Meyerhoff, Dirk; Baltus, B. (2001-02-09). Software Quality: State of the Art in Management, Testing, and Tools. Springer. pp. 267–. ISBN 9783540414414. Retrieved 3 June 2014.
- ↑ P, Mathur Aditya (2008). Foundations of Software Testing. Pearson Education India. pp. 489–. ISBN 9788131707951. Retrieved 3 June 2014.
- ↑ Online Magazine "TEST– Innovation for software quality" Vol. 4, Issue 2: April 2012, called 11-7-14
- ↑ Feature Brief of Cantata & Technical Overview, called 11-12-14
- ↑ "Automotive Electronics Magazine, Issue 4/2012, p.4. called 8-13-14" (PDF). Retrieved 2014-08-19.
- ↑ Cantata++ & Hebling Technik AG working on IEC 62304 Customer case study published by Emenda Software Ltd, called 10-15-14
- ↑ Cantata++ establishes CROMA medical System Website of testandverification: "TVS helps Creo Medical Prepare for Medical Device Certification" called 10-15-14
- ↑ Cantata++ helps to upgrade the safety of metro stations in Paris in cooperation with the KABA Kilgen AG Case study of Emenda Software Ltd, called 10-19-14
- ↑ Report about Cantata & Ada TEST 95 Archived July 14, 2014, at the Wayback Machine. Website of Meteonic, called 7-2-14
External links
- QA Systems Cantata Page
- Groß, Hans-Gerhard: "Methods, Notifications and Processes for Verification and Validation in Software Evolution". In: Empress 2004, p.54-58.
- School of Engineering: Blekinge Institute of Technology, Master Thesis: "A Software Verification & Validation Management Framework for the Space Industry".
- European Software Process Improvement: "SPI in Embedded Software Applications"
- Case study: "GPS RECEIVER - ACHIEVING DO-178B CERTIFIABLE SOFTWARE".
- Case study Aerospace: "HERSHEL/PLANCK VERIFICATION AND VALIDATION".
- Update to Cantata 6.0: "EMBEDDED - ELECTRONIC PRODUCT REVIEWS - DEBUG AND OPTIMIZATION".