과제정보
연구 과제번호 : BK21플러스
연구 과제 주관 기관 : 부산대학교
참고문헌
- ISO/IEC 26262-6, Road vehicles-Functional safety-Part 6: Product development at the software level, 2011.
- RTCA, DO-178C Software considerations in airborne systems and equipment certification, 2012.
- IEC 62304, Medical Device - Software Life Cycle Processes, 2006.
- EN 50128, Railway applications: Communication, signaling and processing systems, 2012.
- IEC 60880 Nuclear power plants Instrumentation and control systems important to safety Software aspects for computer-based systems performing category A functions, 2006.
- A. David, M.O. Moller, and W. Yi, "Formal Verification of UML Statecharts with Real-Time extensions," International Conference on Fundamental Approaches to Software Engineering, Springer Berlin Heidelberg, pp. 218-232, 2002.
- Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha, "Test Cases Generation from UML State Diagrams," IEE Proceedings-Software, Vol. 146, No. 4, pp. 187-192, 1999. https://doi.org/10.1049/ip-sen:19990602
- L.C. Briand, Y. Labiche, and Y. Wang, "Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart," Proc. of the 26th International Conference on Software Engineering, pp. 86-95, 2004.
- H.J. Kohler, U. Nickel, J. Niere, and A. Zundorf, "Integrating UML Diagrams for Production Control Systems," Proc. of the 22nd international conference on Software engineering, pp. 241-251, 2000.
- RTCA, DO-178B Software Considerations in Airborne Systems and Equipment Certification, 1992.
- OMG, UML 2.0 Superstructure Specification, 2004.
- J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional, 2004.
- N.E. Holt, L.C. Briand, and R. Torkar, "Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study," Information and Software Technology, Vol. 56, No. 8, pp. 890-910, 2014. https://doi.org/10.1016/j.infsof.2014.02.011
- L. Briand, Y. Labiche, Y. Wang, "Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart," Proc. of the 26th International Conference on Software Engineering, pp. 86-95, 2004.
- R.V. Binder, Testing Object-Oriented Systems - Models, Patterns, and Tools, Object Technology, Addison-Wesley, 1999.
- J.Hoffer, Eclipse Plugin for Cobertura, http://ecobertura.johoop.de, 2010.
- Software-Artifact Infrastructure Repository (SIR), http://sir.unl.edu/portal/index.html, 2009.
- S. Weissleder, "Simulated Satisfaction of Coverage Criteria on UML State Machines," 2010 Third International Conference on Software Testing, Verification and Validation, pp. 117-126, 2010.
- M. Friske and B.H Schelingloff, "Improving Test Coverage for UML State Machines using Transition Instrumentation," International Conference on Computer Safety, Reliability, and Security, pp. 301-314, 2007.
- A. Rajan, M.W. Whalen, and M.P.E. Heimdahl, "TheEffect of Proagram and Model Structure on MC/DC Test Adequacy Coverage," 2008 ACM/IEEE 30th International Conference on Software Engineering, pp. 161-170, 2008.