SOFIA: Um Sistema de Suporte para as Inspeções de Software

• Thiago Krug UFSM
• Juliano Pires UNIPAMPA
• Vitor dos Santos UNIPAMPA
• João Pablo da Silva UNIPAMPA

Abstract

The inspection of software is a important practice of engineering soft- ware to detect preliminary of defects, however, its adoption still faces resistance, because it is difficult to relate the effort with the gain in the quality of the pro- duct. To support the process of inspection, it presents in this work the SOFIA, a support system for inspection of software. The inspection of software is a impor- tant practice of engineering software to detect preliminary of defects, however, its adoption still faces resistance, because it is difficult to relate the effort with the gain in the quality of the product. To support the process of inspection, it presents in this work the SOFIA, a support system for inspection of software.

References

[Bellifemine et al. 2007] Bellifemine, F. L., Caire, G., and Greenwood, D. (2007). Develo- ping multi-agent systems with JADE, volume 7. John Wiley & Sons.

[Bresciani et al. 2004] Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., and Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203–236.

[da Silva et al. 2013] da Silva, J. P. S., Dall’Oglio, P., da Silva Pinto, S. C. C., and Bittencourt, I. I. (2013). Um sistema para inspeções de garantia da qualidade baseado em ontologias e agentes. Revista de Informática Teórica e Aplicada, VIII(1):1–18.

[Denger and Shull 2007] Denger, C. and Shull, F. (2007). A practical approach for quality-driven inspections. IEEE Software, 24(2):79–86.

[Fagan 1986] Fagan, M. E. (1986). Advances in software inspections. IEEE Transactions on Software Engineering, 12(7):744–751.

[IEEE 2008] IEEE, I. C. S. (2008). IEEE 1028: Standard for Software Reviews and Audits.

[Lee and Wang 2009] Lee, C.-S. and Wang, M.-H. (2009). Ontology-based computational intelligent multi-agent and its application to cmmi assessment. Applied Intelligence, 30(3):203–219.

[Liu et al. 2012] Liu, S., Chen, Y., Nagoya, F., and McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5):1100–1122.

[Lucia et al. 2011] Lucia, A. D., Fasano, F., Scanniello, G., and Tortora, G. (2011). Improving artefact quality management in advanced artefact management system with distributed inspection. IET Software, 5(6):510–527.

[Mishra and Mishra 2009] Mishra, D. and Mishra, A. (2009). Simplified software inspection process in compliance with international standards. Computer Standards & Interfaces, 31(4):763–771.

[Mishra and Mishra 2012] Mishra, D. and Mishra, A. (2012). A global software inspection process for distributed software development. Journal UCS, 18(19):2731–2746.

[Pressman 2009] Pressman, R. S. (2009). Software Engineering: A Proactitioner’s Approach. McGraw-Hill, New York, NY, USA, 7 edition.

[Russell and Norvig 2009] Russell, S. and Norvig, P. (2009). Artificial Intelligence: A Modern Approach. Prentice Hall Press, Upper Saddle River, NJ, USA, 3rd edition.

[Sommerville 2010] Sommerville, I. (2010). Softwware Engineering. Addison-Wesley, Boston, MA, USA, 9 edition.

[Wang and Lee 2008] Wang, M.-H. and Lee, C.-S. (2008). An intelligent ppqa web services for cmmi assessment. In International Conference on Intelligent Systems Design and Applications, volume 1, pages 229–234.

[Wooldridge and Jennings 1995] Wooldridge, M. and Jennings, N. R. (1995). Agent theories, architectures, and languages: a survey. In Intelligent agents, pages 1–39. Springer Berlin Heidelberg, Berlin.