Proceedings 2001 Australian Software Engineering Conference最新文献_第3页

Increase software trustability with self-testable classes in Java 使用Java中的自测试类提高软件的可靠性

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948491

D. Deveaux, P. Frison, J. Jézéquel

引用次数: 21

Practical software process improvement - the IMPACT project 实用的软件过程改进——IMPACT项目

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948512

L. Scott, D. R. Jeffery, L. Carvalho, J. D'Ambra, P. Rutherford

{"title":"Practical software process improvement - the IMPACT project","authors":"L. Scott, D. R. Jeffery, L. Carvalho, J. D'Ambra, P. Rutherford","doi":"10.1109/ASWEC.2001.948512","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948512","url":null,"abstract":"For many years now software process improvement (SPI) has been recognised as an effective way for companies to improve the quality of the software they produce and the productivity with which they work. Much work has gone into developing and selling improvement paradigms, assessment methods, modelling languages, tools and technologies. The challenge for -small-to-medium software development companies (SMEs) now is to find a way to apply these SPI technologies to realise their company's improvement goals. For SMEs the most pressing requirements for improvement paradigms are that they are not only effective but that they realise tangible results quickly, can be implemented incrementally and utilise the many existing process improvement technologies. The paper presents a framework for SPI that realises these needs. The framework is designed to utilise a range of improvement technologies and supports continuous and highly focused improvement over many projects, thus producing timely, cost-effective and tangible improvements for SMEs. The effectiveness of the framework is illustrated with its application in a small, Sydney-based, Web development company.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"146 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134162605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 61

Process improvement in four small software companies 四家小型软件公司的过程改进

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948520

A. Cater-Steel

引用次数: 37

CORONET: an Australian software engineering experience in collaborative research with the European Community CORONET:澳大利亚与欧洲共同体合作研究的软件工程经验

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948519

John D'Ambra, D. R. Jeffery, Dietmar Pfahl

引用次数: 3

Applying static analysis to large-scale, multi-threaded Java programs 将静态分析应用于大规模多线程Java程序

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948499

Cyrille Artho, Armin Biere

引用次数: 98

Constraints in CASE tools: results from curiosity driven research CASE工具中的约束:好奇心驱动研究的结果

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948522

A. Brooks, L. Scott

引用次数: 10

Idioms for /spl mu/-charts 用于/spl /-图表的习语

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948516

G. Anderson, Greg Reeve, S. Reeves

引用次数: 0

On the effectiveness of mutation analysis as a black box testing technique 突变分析作为一种黑盒检测技术的有效性

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948492

T. Murnane, K. Reed

{"title":"On the effectiveness of mutation analysis as a black box testing technique","authors":"T. Murnane, K. Reed","doi":"10.1109/ASWEC.2001.948492","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948492","url":null,"abstract":"The technique of mutation testing, in which the effectiveness of tests is determined by creating variants of a program in which statements are mutated, is well known.. Whilst of considerable theoretical interest, the technique requires costly tools and is computationally expensive. Very large numbers of 'mutants' can be generated for even simple programs. More recently, it has been proposed that the concept be applied to specification based (black box) testing. The proposal is to generate test cases by systematically replacing data items relevant to a particular part of a specification with a data item relevant to another. If the specification is considered as generating a language that describes the set of valid inputs, then the mutation process is intended to generate syntactically valid and invalid statements. Irrespective of their 'correctness' in terms of the specification, these can then be used to test a program in the usual (black box) manner. For this approach to have practical value it must produce test cases that would not be generated by other popular black box test generation approaches. The paper reports a case study involving the application of mutation based black box testing to two programs of different types. Test cases were also generated using equivalence class testing. and boundary value testing approaches. The test cases from each method were examined to judge the overlap and to assess the value of the additional cases generated. It was found that less than 20% of the mutation test cases for a data-vetting program were generated by the other two methods, as against 75% for a statistical analysis program. The paper analyses these results and suggests classes of specifications for which mutation based test-case generation may be effective.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"67 6-7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132915371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 57

Extending UML use case modelling to support graphical user interface design 扩展UML用例建模以支持图形用户界面设计

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948497

C. Phillips, E. Kemp, Sai Mei Kek

引用次数: 23

Interpreting Mayall's 'Principles in Design' 解读Mayall的“设计原则”

Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948523

P. Taylor

{"title":"Interpreting Mayall's 'Principles in Design'","authors":"P. Taylor","doi":"10.1109/ASWEC.2001.948523","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948523","url":null,"abstract":"Design-a foundation of software engineering-has its own base of theory originating in architecture and spanning diverse disciplines. The paths of software and design theory separated when software design aligned with the engineering and production metaphors in the interests of manageability and formalism. The two disciplines have continued independent discourses, despite some important similarities. However, economic pressures and technology convergence may be forcing a reconciliation of sorts. As software becomes a pervasive design fabric, designers working in a range of media will converge, and from a systems perspective, lightweight development paradigms appear to be challenging the overheads of incumbent process-intensive engineering models. It is timely to go back to the point of divergence to see just how far modern software design norms have strayed from basic design theory of several decades ago. This paper examines Mayall's 'Principles in Design' (1979) and presents an interpretation of how contemporary software design relates to this unofficial design canon. Mayall's ten principles are treated as an assessment instrument, to provide a mirror on current attitudes and perceptions of the role of design in software engineering.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123163603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4