Abstract | ||
---|---|---|
Orion is NASA's new crew exploration vehicle. The Orion Project will be using a state-of-the art model-based software development process. This model-based software development process is new for the human space program, and implies both new opportunities and risks for NASA. Opportunities include gaining early insight into designs in the form of executable models, and formulation of requirement verification conditions directly at the model level. Risks include autogenerated code. This paper describes intelligent software engineering tools being developed by NASA. The tools interface directly to the model-based software development process, and provide the following capabilities: early analysis to find defects when they are inexpensive to fix, automated testing and test suite generation, and innovative methods for verifying autogenerated code. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-68123-6_3 | ISMIS |
Keywords | Field | DocType |
orion project,new crew exploration vehicle,new opportunity,intelligent software engineering tool,automated testing,executable model,model-based software development process,autogenerated code,early insight,early analysis,software development process | Personal software process,Software engineering,Package development process,Computer science,Software project management,Software development process,Computer-aided software engineering,Software verification and validation,Software construction,Software development | Conference |
Volume | ISSN | ISBN |
4994 | 0302-9743 | 3-540-68122-1 |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Lowry | 1 | 231 | 97.94 |