Tel. +31­ 345 545535
 
Embedded
Products
 
Solutions
Coming soon...
 
Partners
Who we work with
 
News
What's going on
 
Media
Something to read
 
About
Who we are
 
Contact
Where we are
You are on the following page: News Nederlands | French
 
 

LDRA Wins $1 Million Contract in China's Manned Spacecraft Programme

The China Manned Spacecraft Programme (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CMSP. The LDRA tool suite will enable CMSP developers to achieve the stringent safety-critical standards required to ensure the safe launch of the spacecraft.  
 

The LDRA tool suite has successfully enabled the Chinese space program to achieve safety- and mission-critical certification for its software applications since 2001. In this latest development phase, the CMSP is required to check programming standards to the Chinese Military Standard GJB5369-2005K, undertake and automate unit test, analyse code coverage up to DO-178B Level-A for Modified Condition/Decision Coverage (MC/DC) and verify object code for the critical systems in the Tiangong 1 spacecraft. The LDRA tool suite is the only commercially available tool that meets all of these latest requirements for software testing and providing full lifecycle support. 
 
 


“Coding standards enforcement has become a widespread requirement in China,” noted hiqiang Zhang, CEO of Vision Microsystems (LDRA's distributor in China). “The LDRA tool suite identifies many deep dataflow defects which cannot be detected by other tools. In addition the tool suite’s automation facilities make unit testing a seamless and highly productive process.”
 
Key elements of the LDRA tool suite support for CMSP test processes include LDRA Testbed, the process management tool at the core of the LDRA tool suite, which forms the foundation of automated software verification. LDRA Testbed exercises the code, performing quality and design reviews on the source code. It also conducts test verification for code coverage, including statement, branch/decision, MC/DC, test path and procedure/function call metrics. 

Coupled with LDRA Testbed is TBrun, LDRA’s automated unit testing tool. With TBrun, a graphical user interface automates the production of test data vectors creating a test harness and stub generation automatically. LDRA takes this technology a significant step further than other vendors by enabling users to create test cases for structural coverage of high-level source code using the object-box mode. These exact same test cases are then applied to the corresponding object code to satisfy DO-178B Level-A requirements. The advanced and highly automated test facilities provided by TBrun pinpoint code defects more efficiently and earlier in
the development lifecycle thereby reducing the defects found during formal testing and facilitating on-time and on-budget delivery of software. 
 
“This win extends LDRA’s extensive experience in the Chinese market where the LDRA tool suite has been used by the aerospace and defense software market for projects such as the China Manned Spacecraft and the China Moon Exploration programs,” noted Ian Hennell, LDRA Operations Director. “At LDRA, we are committed to helping developers achieve excellent software quality. It’s exciting to be a part of China’s move to implement these techniques into the entire software development lifecycle and with the entire project team.” 
 


About the China Manned Spacecraft Programme 
 
The LDRA tool suite has been used within the China Manned Spacecraft Programme since 2001. There are over one hundred licenses of the LDRA tool suite used by more than 30 individual research institutes or companies involved in this programme. The LDRA tool suite helps CMSP software to achieve the necessary high levels of quality and safety.
 
The CMSP’s primary mission will be to carry out space rendezvous and docking experiments, to guarantee the working and living conditions of taikonauts (i.e., a Chinese astronaut) and to ensure their safety during short-term parking orbits. It will also carry out space application and aerospace medical experiments, space science experiments and technical testing of the space station, as well as establishing a space experiment platform that can carry out short-term manned missions and long-term independent and reliably-operated unmanned missions. 
 


About the LDRA tool suite
 
The LDRA tool suite has been derived from many ground-breaking testing techniques developed by LDRA. The LDRA tool suite assists with the eight primary tasks: traceability verification, design, code and quality review, unit testing, target testing, test verification and test management. Focus on these key areas is required to achieve a company’s software development and maintenance goals. The LDRA tool suite can be used by an entire project team—developers, QA managers, test engineers, project managers and maintenance/support engineers—to automate the software development lifecycle. Through the deployment of the LDRA tool suite, companies are able to deliver well-constructed, documented and tested software, and benefit from significant time, cost and operational savings. For more information on the LDRA tool suite, please contact Gerard Fianen or Boudewijn Dijkstra at INDES-IDS BV.

 

30-11-2009

   
 
 

INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.